Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Title |
Formal models and techniques for analyzing security protocols [electronic resource] / edited by Veronique Cortier and Steve Kremer. |
|
Imprint |
Washington, D.C. : IOS Press, 2011. |
|
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
Description |
vii, 303 p. : ill. |
Series |
Cryptology and information security series, 1871-6431 ; v. 5 |
|
Cryptology and information security series ; v. 5.
|
Bibliography |
Includes bibliographical references and index. |
Reproduction |
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. |
Subject |
Computer security.
|
Genre/Form |
Electronic books.
|
Added Author |
ProQuest (Firm)
|
ISBN |
9781607507130 (hardcover) |
|
9781607507147 (electronic bk.) |
|