637 search results - page 1 / 128 » The Case for Abstracting Security Policies |
69
Voted
CSREASAM
2003
15 years 5 days ago
2003
111
Voted
FATES
2006
Springer
15 years 2 months 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
15 years 3 months ago
2000
Springer
CIA
1997
Springer
15 years 2 months 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
15 years 2 months 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...