A Formal Analysis of the CORBA Security Service.
David A. BasinFrank RittingerLuca ViganòPublished in: ZB (2002)
Keyphrases
- formal analysis
- ban logic
- service management
- security services
- information security
- formal methods
- security issues
- network services
- security requirements
- access control
- service providers
- network security
- lightweight
- application level
- security policies
- web services
- security mechanisms
- distributed systems
- expert systems
- protocol specification
- cloud services
- knowledge based systems
- key management
- intrusion detection
- operating system