516 search results - page 41 / 104 » Comparing Two Information Flow Security Properties |
CHI
1992
ACM
14 years 28 days ago
1992
ACM
We designed, implemented and evaluated a new concept for direct manipulation of databases, called dynamic queries, that allowsuserstoformulatequerieswithgraphicalwidgets,such as s...
ACSD
2008
IEEE
14 years 3 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
STORAGESS
2005
ACM
14 years 2 months ago
2005
ACM
We describe a novel approach for building a secure and fault tolerant data storage service in collaborative work environments, which uses perfect secret sharing schemes to store d...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
BROADNETS
2006
IEEE
14 years 17 days ago
2006
IEEE
Efficient routing and wavelength assignment (RWA) in wavelength-routed all-optical networks is critical for achieving high efficiency over the backbone links. Extensive research ha...