non-monotonic belief change operator / authentication protocol / industrial security protocols / revision operator / few practical applications / cryptographic protocols / given protocol / formal belief change operator / belief revision operator / belief evolution operator / belief update operator / same methods to more complex protocol / cryptographic protocol / transition systems / authentication protocols / /
Organization
American Association for Artificial IntelliCopyright / James P. Delgrande School of Computing Science Simon Fraser University Burnaby / Naval Research Lab. / /
Person
Aaron Hunter / Logic As / Ai / /
Position
standard model for cryptographic protocol analysis / /