Search:

Type:

Format:

Library:

[ 2 filters applied ]

Operational Semantics and Verification of Security Protocols Cover Image

E-book

E-book

Operational Semantics and Verification of Security Protocols

Cremers, Cas. (author.). Mauw, Sjouke. (author.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783540786368
Physical Description: electronic
electronic resource
access
remote
XIII, 172 p. 59 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Search for related items by subject

Subject:

Computer science
Computer network architectures
Software engineering
Data structures (Computer science)
Computer Science
Data Structures, Cryptology and Information Theory
Computer Systems Organization and Communication Networks
Software Engineering/Programming and Operating Systems

Search for related items by series

Information Security and Cryptography

Add to basket View My Basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

▼ Additional Content

Table of Contents

	Introduction
	Preliminaries
	Operational Semantics
	Security Properties
	Verification
	Multiprotocol Attacks
	Generalizing NSL for Multiparty Authentication
	Related Work
	Conclusions and Future Work
	Index. .

► Shelf Browser

► MARC Record