Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /

Bibliographic Details
Corporate Authors:	FASec 2002 London, England, SpringerLink (Online service)
Other Authors:	Abdallah, Ali E., 1957-, Ryan, Peter, 1957-, Schneider, S. A. (Steve A.)
Format:	Conference Proceeding eBook
Language:	English
Published:	New York : Springer, 2004.
Series:	Lecture notes in computer science ; 2629.
Subjects:	Computer security > Congresses. Formal methods (Computer science) > Congresses. Méthodes formelles (Informatique) > Congrès. Sécurité informatique > Congrès. Computer security. Formal methods (Computer science) Kommunikationsprotokoll. Kryptologie. Electronic books. Kongress > London > 2002. Conference proceedings. Kongress. London (2002)
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2629

Remote Storage