Security-typed languages for implementation of cryptographic protocols: A case study
Paper in proceeding, 2005
Author
Aslan Askarov
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Andrei Sabelfeld
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS' 2005), LNCS
Vol. 3679 197-221
3-540-28963-1 (ISBN)
Subject Categories
Computer and Information Science
ISBN
3-540-28963-1