An Ontology for Run-Time Verification of Security Certificates for SOA.
Stefania D'AgostiniValentina Di GiacomoClaudia PandolfoDomenico PresenzaPublished in: ARES (2012)
Keyphrases
- access control
- high security
- public key infrastructure
- integrity verification
- cryptographic protocols
- java card
- web services
- information security
- business continuity
- service oriented architecture
- security issues
- network security
- industrial automation
- security requirements
- intrusion detection
- domain knowledge
- service oriented
- security policies
- statistical databases
- information systems
- security level
- formal verification
- public key
- high assurance
- security analysis
- model checking
- domain ontology
- cyber security
- security systems
- key management
- security mechanisms
- functional requirements
- trusted third party
- countermeasures
- multi tiered
- business processes
- knowledge base