llsec.bib

Mitchell2001Programming-lan
Programming language methods in computer security
Mitchell, J. C.
POPL      1-3  (2001)
http://doi.acm.org/10.1145/360204.360205
Abadi2003Logic-in-Access
Logic in Access Control
Abadi, M.
Proceedings of the 18th Annual Symposium on Logic in Computer Science (LICS'03)      228--233  (2003)
http://www.soe.ucsc.edu/~abadi/Papers/lics2003.pdf
Abadi2005Language-Based-
Language-Based Security
Abadi, M. and Morrisett, G. and Sabelfeld, A.
  J. Funct. Program.  15  129  (2005)
http://dx.doi.org/10.1017/S0956796804005428
Abadi2007Security-Protoc
Security Protocols: Principles and Calculi
Abadi, M.
FOSAD      1-23  (2007)
http://dx.doi.org/10.1007/978-3-540-74810-6_1