1527 search results - page 56 / 306 » Demographic information flows |
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
149
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
Regression test prioritization techniques re-order the execution of a test suite in an attempt to ensure that defects are revealed earlier in the test execution phase. In prior wo...
116
click to vote
ICTAC
2005
Springer
15 years 9 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...