Login / Signup
Partial Order Reduction for Security Protocols.
David Baelde
Stéphanie Delaune
Lucca Hirschi
Published in:
CoRR (2015)
Keyphrases
</>
security protocols
partial order reduction
model checking
petri net
automated design
security services
security properties
cryptographic algorithms
secure communication
authentication protocol
artificial immune algorithm
key management
security mechanisms
cryptographic protocols