Login / Signup
Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws.
Erik Poll
Joeri de Ruiter
Aleksy Schubert
Published in:
IEEE Symposium on Security and Privacy Workshops (2015)
Keyphrases
</>
state machines
state machine
petri net
security flaws
recurrent networks
protocol specification
sequence diagrams
fault tolerant
feed forward
reactive systems
neural network
hidden markov models
similarity search
model checking
authentication scheme