Foundations of security, protocols, and equational reasoning : essays dedicated to Catherine A. Meadows / Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.).
2019
QA76.9.A25
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Foundations of security, protocols, and equational reasoning : essays dedicated to Catherine A. Meadows / Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.).
ISBN
9783030190521 (electronic book)
3030190528 (electronic book)
9783030190514
3030190528 (electronic book)
9783030190514
Published
Cham, Switzerland : Springer, 2019.
Language
English
Description
1 online resource (xii, 239 pages) : illustrations.
Item Number
10.1007/978-3-030-19052-1 doi
Call Number
QA76.9.A25
Dewey Decimal Classification
005.8/24
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed June 18, 2019).
Added Author
Series
Lecture notes in computer science ; 11565.
LNCS sublibrary. SL 4, Security and cryptology.
LNCS sublibrary. SL 4, Security and cryptology.
Linked Resources
Record Appears in