7 search results - page 1 / 2 » Automated discovery of state transitions and their functions... |
STVR
2008
13 years 5 months ago
2008
TAICPART
2006
IEEE
13 years 11 months ago
2006
IEEE
ICISS
2007
Springer
13 years 12 months ago
2007
Springer
Applications are subject to threat from a number of attack vectors, and limiting their attack surface is vital. By using privilege separation to constrain application access to pro...
SEMWEB
2004
Springer
13 years 11 months ago
2004
Springer
Web services are in the midst of making the transition from being a promising technology to being widely used in the industry. However, most efforts to use Web services have been m...
PLDI
2010
ACM
13 years 11 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...