865 search results - page 171 / 173 » A Secure Information Flow Architecture for Web Services |
IMC
2004
ACM
14 years 22 days ago
2004
ACM
Virtual Private Networks provide secure and reliable communication between customer sites. With increase in number and size of VPNs, providers need efficient provisioning techniqu...
COLCOM
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper describes the architecture and implementation of a Java-based appliance for collaborative review of crashes involving injured children in order to determine mechanisms o...
CCS
2001
ACM
13 years 11 months ago
2001
ACM
Automated trust negotiation is an approach to establishing trust between strangers through the exchange of digital credentials and the use of access control policies that specify ...
BMCBI
2010
13 years 7 months ago
2010
Background: High throughput sequencing has become an increasingly important tool for biological research. However, the existing software systems for managing and processing these ...
FOSSACS
2005
Springer
14 years 25 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...