315 search results - page 2 / 63 » Arrows for secure information flow |
CSFW
2012
IEEE
11 years 7 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
ASPLOS
2004
ACM
13 years 10 months ago
2004
ACM
Dynamic information flow tracking is a hardware mechanism to protect programs against malicious attacks by identifying spurious information flows and restricting the usage of sp...
IEEEIAS
2007
IEEE
13 years 11 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
SP
1990
IEEE
13 years 9 months ago
1990
IEEE
SP
1991
IEEE
13 years 8 months ago
1991
IEEE