1748 search results - page 130 / 350 » Using Aspect Programming to Secure Web Applications |
189
click to vote
POPL
2000
ACM
15 years 7 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
135
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...
129
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
137
click to vote
ICCS
2001
Springer
15 years 7 months ago
2001
Springer
The Sisyphus-I initiative consists of a constraint satisfaction problem in which a group of people in a research environment must be allocated rooms. Numerous constraints are detai...
163
click to vote
VEE
2006
ACM
15 years 9 months ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....