4731 search results - page 186 / 947 » Securing Interactive Programs |
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Protecting national critical infrastructure assets from cyber incidents is an important challenge. One facet of this challenge is that the vast majority of the owners and operators...
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
131
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
116
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...
126
click to vote
MICRO
2008
IEEE
15 years 8 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...