Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
An experiment in ping-pong protocol verification by nondeterministic pushdown automata
Robert Glück
Datalogisk Institut
38
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'An experiment in ping-pong protocol verification by nondeterministic pushdown automata'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Protocol Verification
100%
Intruder Model
33%
Language Means
33%
Secret Message
33%
Dyck Language
33%
Trusted User
33%
Dolev-Yao
33%
Automata Theory
33%
Automata Simulator
33%
Computer Science
Protocol Verification
100%
Automata Theory
33%
secret message
33%