2 search results - page 1 / 1 » Specifying Security Constraints with Relaxation Lattices |
10
Voted
CSFW
1989
IEEE
15 years 3 months ago
1989
IEEE
197
click to vote
POPL
2005
ACM
15 years 11 months 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...