Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
An experiment in ping-pong protocol verification by nondeterministic pushdown automata
Robert Glück
Department of Computer Science
38
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'An experiment in ping-pong protocol verification by nondeterministic pushdown automata'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Automata Simulator
33%
Automata Theory
33%
Dolev-Yao
33%
Dyck Language
33%
Intruder Model
33%
Language Means
33%
Protocol Verification
100%
Secret Message
33%
Trusted User
33%
Computer Science
Automata Theory
33%
Protocol Verification
100%
secret message
33%