Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
A Calculus for Access Control in Distributed Systems Read chapter Read first chapter

1992 | OriginalPaper | Chapter

Deriving the Complete Knowledge of Participants in Cryptographic Protocols

Extended Abstract

Author : Marie-Jeanne Toussaint

Published in: Advances in Cryptology — CRYPTO ’91

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

This paper shows how to derive a representation of the participants’ knowledge in a cryptographic protocol. The modelization is based on the assumption that the underlying cryptographic system is perfect and is an extension of the “Hidden Automorphism Model” introduced by Merritt. It can be used to establish the security of the protocols.

previous chapter A Calculus for Access Control in Distributed Systems
next chapter Systematic Design of Two-Party Authentication Protocols
Metadata
Title
Deriving the Complete Knowledge of Participants in Cryptographic Protocols
Author
Marie-Jeanne Toussaint
Copyright Year
1992
Publisher
Springer Berlin Heidelberg
Book
Advances in Cryptology — CRYPTO ’91

Print ISBN: 978-3-540-55188-1

Electronic ISBN: 978-3-540-46766-3

Copyright Year: 1992

DOI
https://doi.org/10.1007/3-540-46766-1_2

Premium Partner

    Image Credits