ASLan++ - A Formal Security Specification Language for Distributed Systems.
David von OheimbSebastian MödersheimPublished in: FMCO (2010)
Keyphrases
- distributed systems
- specification language
- formal specification
- security policies
- requirements specification
- description language
- programming language
- software architecture
- high assurance
- fault tolerant
- mobile agent system
- security requirements
- distributed environment
- model checking
- load balancing
- fault tolerance
- distributed computing
- operating system
- formal methods
- geographically distributed
- information security
- distributed database systems
- software environment
- data replication
- intrusion detection
- access control
- real time systems
- deadlock detection
- databases
- software development environments
- security issues
- directory service
- building blocks
- general purpose
- object oriented
- artificial intelligence