university website Publications by Year
  • sign in
  • Software Analysis and Transformation /
  • Lecture
  • Search

D.J.N. van Eijck (Jan)

2013

Elements of Epistemic Crypto Logic

Publication

Publication

Presented at the LogiCIC Workshop, Amsterdam

Additional Metadata
Keywords Epistemic Logic, Cryptographic Protocol Analysis, Model Checking
THEME Other (theme 6)
Conference LogiCIC Workshop
Organisation Software Analysis and Transformation
Citation
APA Style
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only Format
van Eijck, J. (2013, January). Elements of Epistemic Crypto Logic.
Free Full Text ( Author Manuscript , 490kb ) cover

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close