447 search results - page 45 / 90 » Rule Languages for Security and Privacy in Cooperative Syste... |
151
click to vote
SOUPS
2010
ACM
15 years 10 months ago
2010
ACM
Text-based passwords are still the most commonly used authentication mechanism in information systems. We took advantage of a unique opportunity presented by a significant change...
156
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
124
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
263
click to vote
SP
2006
IEEE
16 years 4 days ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
164
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...