Back to Results
First PageMeta Content
Computer security / Dolev-Yao model / RSA / Adversary model / Cryptography / Cryptographic protocols / Public-key cryptography


NRL Release Number[removed]Dolev-Yao is no better than Machiavelli Paul Syverson, Catherine Meadows Center for High Assurance Computer Systems
Add to Reading List

Document Date: 2013-04-29 11:52:34

Open Document

File Size: 169,38 KB

Share Result on Facebook

City

Mordano / Alexandria / Washington / DC / /

Company

IEEE Computer / IEEE Computer Society Press / Sciences Division ITT Industries Inc. / Naval Research Laboratory / Needham / High Assurance Computer Systems Naval Research Laboratory / /

Country

Italy / /

/

Facility

Naval Research Laboratory / /

IndustryTerm

public network / cryptographic protocols / public-key protocols / messages in valid protocol / erent analysis tools / authentication protocols / /

Organization

IEEE Computer Society / Catherine Meadows Center for High Assurance Computer Systems Naval Research Laboratory Washington / /

Person

Catherine Meadows / Paul F. Syverson / Nancy A. Durgin / Ross Anderson / Iliano Cervesato / Andre Scedrov / Frank Pfenning / Patrick D. Lincoln / Paul Syverson / John C. Mitchell / Stuart Stubblebine / Danny Dolev / Roger Needham / Andrew C. Yao / B. Therefore / /

Position

author / editor / model / adversary model / /

ProgrammingLanguage

DC / /

ProvinceOrState

New Brunswick / Virginia / Delaware / /

PublishedMedium

IEEE Transactions on Information Theory / /

Technology

Encryption / public-key protocols / authentication protocols / private key / Cmp / /

SocialTag