ePrints Soton (University of Southampton) · 2004 · 53 citations · 8 references
Open access
ComputingAutonomous SystemsComputer ScienceComputer SecuritySecurity PolicyWeb SecuritySecure Requirements EngineeringSecure System DesignSecurity RequirementsSoftware Security EngineeringSystem SecurityFirewall ManagementRequirements Engineering For Secure SystemsSecurity Policies ModelingSecurity Requirements AnalysisSecurity Requirements ElicitationSecurity Requirements ModelingSecurity Requirements SpecificationSemantic Security
The move towards supporting more autonomous systems, where decisions are made without direct user intervention, and more complex operating scenarios, where services from multiple organisations form temporary ties to solve particular problems, creates new security challenges. This paper argues that the answers should combine the use of conventional se-curity solutions, such as cryptographic mechanisms, with the ability to reason about security at the semantic level, using appropriate descriptions of security policies and the required tasks. Such reasoning can enable software entities aiming to interact to determine whether their respective security re-quirements and capabilities will allow them to proceed. Fur-thermore, it can support the enforcement of security policies based on the context of the interactions. We motivate the need for such reasoning about security through an example and dis-cuss a set of requirements to support the implementation of a specialised security device, termed a Semantic Firewall.
8
OWL Web ontology language overview
Deborah L. McGuinness · Medical Entomology and Zoology · 2004 · 3.6K citations
Description of the RACER System and its Applications.
Volker Haarslev, Ralf Möller · 2001 · 286 citations
A policy deployment model for the Ponder language
Naranker Dulay, E. Lupu, Morris Sloman et al. · 2002 · 130 citations
Designing conversation policies using joint intention theory
Ira Smith, Philip R. Cohen, Jeffrey M. Bradshaw et al. · 2002 · 98 citations