42 search results - page 8 / 9 » Exploiting refactoring in formal verification |
120
click to vote
APSCC
2008
IEEE
15 years 1 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
107
click to vote
ICSE
2008
IEEE-ACM
16 years 10 hour ago
2008
IEEE-ACM
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
CCS
2006
ACM
15 years 2 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
100
click to vote
TSE
1998
14 years 11 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
SIGSOFT
2008
ACM
15 years 12 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....