2079 search results - page 63 / 416 » Quantifying Information Flow |
80
Voted
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
CCS
2007
ACM
15 years 10 months ago
2007
ACM
105
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
