Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives.
Yohan BoichutPierre-Cyrille HéamOlga KouchnarenkoPublished in: INFINITY (2009)
Keyphrases
- tree automata
- security protocols
- cryptographic protocols
- security properties
- cryptographic algorithms
- regular expressions
- finite automata
- finite state
- syntactic pattern recognition
- tree languages
- differential power analysis
- security mechanisms
- high level
- authentication protocol
- context free grammars
- key management
- smart card
- security requirements
- database
- context sensitive
- integrity constraints
- markov chain
- finite automaton
- low level