Login / Signup
Flow logic for Dolev-Yao secrecy in cryptographic processes.
Chiara Bodei
Pierpaolo Degano
Flemming Nielson
Hanne Riis Nielson
Published in:
Future Gener. Comput. Syst. (2002)
Keyphrases
</>
key management
security properties
smart card
data sets
process model
computational models
flow field
predicate logic
knowledge base
modal logic
multi valued
logical framework
computational properties
digital circuits
asynchronous circuits
secure communication