3 search results - page 1 / 1 » A Semantic Framework for Declassification and Endorsement |
ESOP
2010
Springer
13 years 8 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
ESORICS
2009
Springer
13 years 8 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
ER
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Collections play an important part in everyday life. Therefore, conceptual data models should support collection types to make data modeling as natural as possible for it...