Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Institute: MPI für Informatik     Collection: Programming Logics Group     Display Documents



ID: 201983.0, MPI für Informatik / Programming Logics Group
Verification of Cryptographic Protocols: Tagging Enforces Termination
Authors:Blanchet, Bruno; Podelski, Andreas
Editors:Gordon, Andrew D.
Language:English
Publisher:Springer
Place of Publication:Berlin, Germany
Date of Publication (YYYY-MM-DD):2003
Title of Proceedings:Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003
Start Page:136
End Page:152
Title of Series:Lecture Notes in Computer Science
Place of Conference/Meeting:Warsaw, Poland
(Start) Date of Conference/Meeting
 (YYYY-MM-DD):
2003-04-07
Review Status:not specified
Audience:Experts Only
Intended Educational Use:No
Last Change of the Resource (YYYY-MM-DD):2004-06-29
External Publication Status:published
Document Type:Conference-Paper
Communicated by:Andreas Podelski
Affiliations:MPI für Informatik/Programming Logics Group
MPI für Informatik/Static Analysis Group
Identifiers:ISBN:3-540-00897-7
LOCALID:C1256104005ECAFC-882EFCF8FCEA7F73C1256D0A0030D9D3-...
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.