A formal data-model of the CORBA security service.
David A. BasinFrank RittingerLuca ViganòPublished in: ESEC / SIGSOFT FSE (2001)
Keyphrases
- data model
- object oriented
- object management
- security services
- service management
- network services
- query language
- information security
- database systems
- access control
- database design
- lightweight
- service providers
- security policies
- formal model
- network security
- service quality
- security requirements
- formal methods
- service offerings
- web services
- distributed multimedia
- data integration
- intrusion detection
- statistical databases
- security issues
- service oriented
- schema evolution
- protocol specification
- service discovery
- formal specification
- database management systems
- application level
- security management
- security protocols
- information systems
- network access
- databases
- xml documents
- data sources
- ubiquitous computing environments
- management system
- information services
- database
- fault tolerance
- computing environments