Authors:
- Presents alternative ways of developing a network protocol discussing security protocols, implementing security protocols, abstract protocols and protocol correctness
- Includes supplementary material: sn.pub/extras
Part of the book series: Advances in Information Security (ADIS, volume 13)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
The University of Texas at Austin, Austin, USA
Tommy M. McGuire, Mohamed G. Gouda
Bibliographic Information
Book Title: The Austin Protocol Compiler
Authors: Tommy M. McGuire, Mohamed G. Gouda
Series Title: Advances in Information Security
DOI: https://doi.org/10.1007/b101038
Publisher: Springer New York, NY
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag US 2005
Hardcover ISBN: 978-0-387-23227-0Published: 19 November 2004
Softcover ISBN: 978-1-4419-3588-5Published: 29 November 2010
eBook ISBN: 978-0-387-23228-7Published: 20 January 2006
Series ISSN: 1568-2633
Series E-ISSN: 2512-2193
Edition Number: 1
Number of Pages: XIII, 141
Topics: Computer Communication Networks, Information Systems and Communication Service, Information Systems Applications (incl. Internet), Data Structures and Information Theory, Input/Output and Data Communications, Computer Systems Organization and Communication Networks