329 search results - page 53 / 66 » A Theory of Secure Control Flow |
115
click to vote
AOSD
2009
ACM
15 years 1 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
CCR
2004
14 years 9 months ago
2004
This paper emphasizes the need for methodological frameworks for analysis and design of large scale networks which are independent of specific design innovations and their advocac...
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...
ACSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
CSFW
2011
IEEE
13 years 9 months ago
2011
IEEE
Abstract—Audit mechanisms are essential for privacy protection in permissive access control regimes, such as in hospitals where denying legitimate access requests can adversely a...