335 search results - page 42 / 67 » Reasoning about Probabilistic Security Using Task-PIOAs |
JCS
1998
13 years 7 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
Payload attribution is an important problem often encountered in network forensics. Given an excerpt of a payload, finding its source and destination is useful for many security ...