192 search results - page 10 / 39 » Non-Deterministic Games and Program Analysis: An Application... |
CARDIS
2008
Springer
14 years 11 months ago
2008
Springer
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
104
click to vote
ECOOP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
IFIP
2009
Springer
14 years 7 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
ACMSE
2006
ACM
15 years 3 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...