Process Algebra Contexts and Security Properties.
Damas P. GruskaPublished in: Fundam. Informaticae (2010)
Keyphrases
- process algebra
- security properties
- formal methods
- formal specification
- model checking
- concurrent systems
- asynchronous circuits
- artificial intelligence
- communication protocols
- formal model
- security analysis
- knowledge based systems
- software engineering
- web services composition
- modeling language
- machine learning
- security requirements
- petri net
- wireless sensor networks