213 search results - page 13 / 43 » A formal security policy for xenon |
110
click to vote
IDTRUST
2010
ACM
15 years 6 months ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
111
click to vote
CCS
2007
ACM
15 years 6 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
AWIC
2003
Springer
15 years 5 months ago
2003
Springer
This paper describes a practical solution for the incorporation of security services in agents. From a set of basic user requirements, the agents will be able to find out the best ...
108
Voted
TOPLAS
2008
14 years 11 months ago
2008
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
94
Voted
GECCO
2008
Springer
15 years 25 days ago
2008
Springer
In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is becoming much more complex. S...