624 search results - page 60 / 125 » Application of Lightweight Formal Methods to Software Securi... |
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
101
click to vote
FOSSACS
2006
Springer
15 years 3 months ago
2006
Springer
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
ACSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Recent research has proposed self-checksumming as a method by which a program can detect any possibly malicious modification to its code. Wurster et al. developed an attack again...
195
click to vote
ASPLOS
2009
ACM
16 years 15 days ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
INFSOF
2002
14 years 11 months ago
2002
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...