Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Formal Correctness of Security Protocols With 62 Figures and 4 Tables Cover Image E-book E-book

Formal Correctness of Security Protocols With 62 Figures and 4 Tables

Bella, Giampaolo. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540681366
  • Physical Description: electronic
    electronic resource
    access
    remote
    XIX, 274 p. 62 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Search for related items by subject

Subject: Computer science
Data protection
Data structures (Computer science)
Artificial intelligence
Telecommunication
Computer Science
Mathematical Logic and Formal Languages
Data Structures, Cryptology and Information Theory
Systems and Data Security
Artificial Intelligence (incl. Robotics)
Communications Engineering, Networks

Search for related items by series

Electronic resources

Texto completo


Additional Resources