24 search results - page 4 / 5 » A Test Calculus Framework Applied to Network Security Polici... |
ICDCSW
2003
IEEE
13 years 11 months ago
2003
IEEE
In this paper we investigate the survivability of multilevel ad-hoc groups for critical operations through a case study. We aim to provide a formal trust framework for establishin...
PODS
2008
ACM
14 years 5 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
INFOCOM
2008
IEEE
14 years 5 days ago
2008
IEEE
—A firewall is a security guard placed between a private network and the outside Internet that monitors all incoming and outgoing packets. The function of a firewall is to exam...
SAC
2006
ACM
13 years 11 months ago
2006
ACM
In this paper we introduce a group-messaging interface that allows humans to efficiently interact with a group of agents through a hierarchical and customizable text protocol. Our...
GLOBECOM
2010
IEEE
13 years 3 months ago
2010
IEEE
Proof of a user's identity is not always a sufficient means for making an authorization decision. In an increasing set of circumstances, knowledge of physical location provide...