6293 search results - page 65 / 1259 » Information Flow Testing |
142
click to vote
CSFW
2006
IEEE
16 years 10 days 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...
146
click to vote
ICTAC
2005
Springer
15 years 11 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...