637 search results - page 78 / 128 » The Case for Abstracting Security Policies |
118
click to vote
ICPADS
2007
IEEE
15 years 8 months ago
2007
IEEE
Grid technologies are emerging as the next generation of distributed computing, allowing the aggregation of resources that are geographically distributed across different location...
155
click to vote
IJSEKE
2011
14 years 5 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
107
click to vote
IH
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We present attacks on the anonymity and pseudonymity provided by a “lonely hearts” dating service and by the HushMail encrypted email system. We move on to discuss so...
114
click to vote
ENTCS
2008
15 years 1 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
108
click to vote
ITRUST
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...