7 search results - page 1 / 2 » Automated discovery of state transitions and their functions... |
STVR
2008
13 years 7 months ago
2008
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
ICISS
2007
Springer
14 years 1 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
14 years 24 days 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...
21
Voted
PLDI
2010
ACM
14 years 16 days 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...