169 search results - page 31 / 34 » Security policy analysis using deductive spreadsheets |
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
Eudaemon is a technique that aims to blur the borders between protected and unprotected applications, and brings together honeypot technology and end-user intrusion detection and ...
CCS
2011
ACM
12 years 7 months ago
2011
ACM
Online service providers are engaged in constant conflict with miscreants who try to siphon a portion of legitimate traffic to make illicit profits. We study the abuse of “tr...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
OOPSLA
2004
Springer
14 years 22 days ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
APWEB
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...