637 search results - page 1 / 128 » The Case for Abstracting Security Policies |
CSREASAM
2003
13 years 10 months ago
2003
FATES
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
AGENTS
2000
Springer
14 years 26 days ago
2000
Springer
CIA
1997
Springer
14 years 2 days ago
1997
Springer
Abstract. Whenever agents deal with con dential information, it is important that they comply with a principled security policy. We show how the database concept of multi-level sec...
B
2007
Springer
14 years 15 days ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...