1599 search results - page 164 / 320 » Program Analysis for Security and Privacy |
119
click to vote
TRUSTBUS
2007
Springer
15 years 10 months ago
2007
Springer
The forthcoming ISO/IEC 24727 series of standards defines application programming interfaces for smart cards and is expected to provide a major contribution to the global interope...
127
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
128
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
With the growing popularity of anomaly detection systems, which is due partly to the rise in zero-day attacks, a new class of threats have evolved where the attacker mimics legiti...
161
click to vote
AGENTS
2001
Springer
15 years 8 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...
132
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Smart avatars are virtual human representations controlled by real people. Given instructions interactively, smart avatars can act as autonomous or reactive agents. During a real-...