2335 search results - page 287 / 467 » Securing Distributed Systems with Information Flow Control |
193
click to vote
BERTINORO
2005
Springer
16 years 6 days ago
2005
Springer
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
148
click to vote
CCS
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we propose a new form of image-based CAPTCHA we term "scene tagging". It tests the ability to recognize a relationship between multiple objects in an imag...
184
Voted
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The blooming e-commerce is demanding better methods to protect online users' privacy, especially the credit card information that is widely used in online shopping. Holding a...
124
click to vote
ACSD
2008
IEEE
16 years 1 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...
185
click to vote
SIGUCCS
2005
ACM
16 years 7 days ago
2005
ACM
Educational Partnerships and Learning Technologies (EPLT) [1] at the University of Washington maintains and supports a fleet of approximately 1,000 general-access student computin...