IEEE Computer Society Press / Environment Well-Formedness E NV / Needham / Mobile Distributed Systems / AME AND VAR E NV / E NV / Computer-Communication Networks / /
Act / J.C.Herzog / Gavin Lowe / Simon S. Lam / Thomas Y. C. Woo / Jeffrey / Joshua D. Guttman / F. Javier Thayer / Michele Bugliesi Riccardo Focardi Matteo / Gordon / /
Position
General / Private / /
Product
Pentax K-x Digital Camera / Example / I2 / /
ProvinceOrState
Illinois / /
PublishedMedium
Theoretical Computer Science / IEEE Transactions on Software Engineering / Lecture Notes in Computer Science / /
Technology
encryption / authentication protocol / spi calculus Protocol / cryptography / Public Key Protocol / public key / authentication protocols / INTRODUCTION Authentication protocols / process Protocol / security protocols / private key / dom / secret key / Operating Systems / specific protocol / TYPE AND EFFECT SYSTEM Authentication protocols / Network Protocols / /