Formal specification and integration of distributed security policies.
Mohamed MejriHamdi YahyaouiPublished in: Comput. Lang. Syst. Struct. (2017)
Keyphrases
- formal specification
- security policies
- distributed systems
- model checking
- specification languages
- network security
- access control
- specification language
- process algebra
- concurrent systems
- distributed environment
- security requirements
- object oriented design
- formal methods
- security management
- reverse engineering
- mobile agents
- access control systems
- databases
- computer networks
- cooperative
- computing environments
- access control policies
- peer to peer
- data sources
- relational databases
- multi agent
- database
- grid workflow