848 search results - page 42 / 170 » Secure Information Flow for Distributed Systems |
CRYPTO
2007
Springer
15 years 6 months ago
2007
Springer
The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with div...
207
click to vote
POPL
2005
ACM
16 years 3 days ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
CSFW
2008
IEEE
15 years 1 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
SPW
1997
Springer
15 years 4 months ago
1997
Springer
We undertook a project to secure the distribution of medical information using Wax. This is a proprietary hypertext-based system used for information such as treatment protocols, d...
108
click to vote
CSFW
2003
IEEE
15 years 5 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...