2488 search results - page 350 / 498 » An improvement in formal verification |
132
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months 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...
120
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
124
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
209
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
207
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...