Formal models and techniques for analyzing security protocols [electronic resource] / edited by Véronique Cortier and Steve Kremer.
2011
QA76.9.A25 F67 2011eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Formal models and techniques for analyzing security protocols [electronic resource] / edited by Véronique Cortier and Steve Kremer.
ISBN
9781607507130 (hardcover)
9781607507147 (electronic bk.)
9781607507147 (electronic bk.)
Publication Details
Washington, D.C. : IOS Press, 2011.
Language
English
Description
1 online resource (vii, 303 p.) : ill.
Call Number
QA76.9.A25 F67 2011eb
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Series
Cryptology and information security series, 1871-6431 ; v. 5
Linked Resources
Record Appears in