Holdings: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Armando, Alessandro. (Editor), Lowe, Gavin. (Editor)
Format:	Electronic
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:	Lecture Notes in Computer Science, 6186
Subjects:	Computer science. Computer communication systems. Software engineering. Programming languages (Electronic computers). Data encryption (Computer science). Algorithms. Computers and civilization. Computer Science. Data Encryption. Computer Communication Networks. Computers and Society. Algorithm Analysis and Problem Complexity. Software Engineering. Programming Languages, Compilers, Interpreters.
Online Access:	View fulltext via EzAccess

View fulltext via EzAccess