The Austin Protocol Compiler
-The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. This book will finally close the communication gap between the protocol verifiers and the protocol implementers. The TAP notation uses two types of semantics: an abstract seman...
Κύριοι συγγραφείς: | McGuire, Tommy M. (Συγγραφέας), Gouda, Mohamed G. (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Boston, MA :
Springer US,
2005.
|
Σειρά: | Advances in Information Security,
13 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Multimedia Encryption and Watermarking
ανά: Furht, Borko, κ.ά.
Έκδοση: (2005) -
A Classical Introduction to Cryptography Applications for Communications Security /
ανά: Vaudenay, Serge
Έκδοση: (2006) -
A Classical Introduction to Cryptography Exercise Book
ανά: Baigèneres, Thomas, κ.ά.
Έκδοση: (2006) -
Multilayered Security and Privacy Protection in Car-to-X Networks Solutions from Application down to Physical Layer /
ανά: Stübing, Hagen
Έκδοση: (2013) -
Computer Viruses and Malware
ανά: Aycock, John
Έκδοση: (2006)