6293 search results - page 63 / 1259 » Information Flow Testing |
TCS
2010
14 years 8 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
This paper shows how a corpus of instant messages can be employed to detect de facto communities of practice automatically. A novel algorithm based on the concept of Edge Stress F...
79
Voted
IEEEARES
2010
IEEE
15 years 5 months ago
2010
IEEE
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
AMMA
2009
Springer
15 years 4 months ago
2009
Springer