6293 search results - page 65 / 1259 » Information Flow Testing |
WISTP
2007
Springer
15 years 4 months ago
2007
Springer
65
Voted
CSFW
2006
IEEE
15 years 4 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...
53
Voted
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
70
Voted
FCT
2005
Springer
15 years 3 months ago
2005
Springer
ICTAC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...