Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 505 of 608
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

Back To Results
Showing Item 505 of 608

Additional Resources