C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A rewriting strategy for protocol verification.
Monica Nesi
Giuseppina Rucci
Massimo Verdesca
Published in:
Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
</>
cryptographic protocols
formal analysis
protocol specification
model checking
lightweight
model checker
neural network
negotiation protocol
selection strategy
query rewriting
security protocols
authentication protocol
end to end
data management
colored petri nets
formal proof
database