329 search results - page 51 / 66 » A Theory of Secure Control Flow |
TLDI
2010
ACM
15 years 6 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—The need to quickly and accurately classify Internet traffic for security and QoS control has been increasing significantly with the growing Internet traffic and applications ov...
ISSRE
2006
IEEE
15 years 3 months ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
CCS
2006
ACM
15 years 1 months ago
2006
ACM
In biology, a vaccine is a weakened strain of a virus or bacterium that is intentionally injected into the body for the purpose of stimulating antibody production. Inspired by thi...
111
click to vote
JIPS
2007
14 years 9 months ago
2007
: The use of agent paradigm in today’s applications is hampered by the security concerns of agents and hosts alike. The agents require the presence of a secure and trusted execut...