Compiling cryptographic protocols for deployment on the web.

Jay A. McCarthy Shriram Krishnamurthi Joshua D. Guttman John D. Ramsdell

Published in: WWW (2007)

Keyphrases

cryptographic protocols
web applications
website
semantic web
security properties
database
security protocols
standard model
web pages
lightweight