A Process Algebra for Reasoning About Quantum Security.
Pedro AdãoPaulo MateusPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- process algebra
- communication protocols
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- formal methods
- access control
- concurrent programs
- temporal logic
- web services composition
- grid workflow
- intrusion detection
- security policies
- real time
- fine grained
- protocol specification
- quality of service
- software systems
- database systems
- web services
- machine learning