169 search results - page 25 / 34 » Security policy analysis using deductive spreadsheets |
208
click to vote
AIS
2007
Springer
15 years 7 months ago
2007
Springer
This paper instigates a discourse on the unplanned effects of intelligent agents in the context of their use on the Internet. By utilizing a social informatics framework as a lens...
202
Voted
CCS
2006
ACM
15 years 11 months ago
2006
ACM
The usage control (UCON) model was introduced as a unified approach to capture a number of extensions for traditional access control models. While the policy specification flexibi...
221
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
174
click to vote
RAID
2004
Springer
16 years 24 days ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
169
click to vote
ESSOS
2010
Springer
16 years 4 months ago
2010
Springer
Protecting users in the ubiquitous online world is becoming more and more important, as shown by web application security – or the lack thereof – making the mainstream news. On...