Automata Techniques for Epistemic Protocol Synthesis.
Guillaume AucherBastien MaubertSophie PinchinatPublished in: SR (2014)
Keyphrases
- cellular automata
- lightweight
- belief change
- formal analysis
- regular expressions
- communication protocol
- probabilistic automata
- epistemic logic
- finite automata
- authentication protocol
- application layer
- tcp ip
- tree automata
- communication protocols
- security protocols
- program synthesis
- network protocols
- texture synthesis