SIGN IN
SIGN UP
Bridging the gap between web application firewalls and web applications
Full Text:
Pdf
Buy this Article
Authors:
Lieven Desmet
Katholieke Universiteit Leuven, Leuven, Belgium
Frank Piessens
Katholieke Universiteit Leuven, Leuven, Belgium
Wouter Joosen
Katholieke Universiteit Leuven, Leuven, Belgium
Pierre Verbaeten
Katholieke Universiteit Leuven, Leuven, Belgium
2006 Article
Bibliometrics
· Downloads (6 Weeks): 5
· Downloads (12 Months): 52
· Downloads (cumulative): 940
· Citation Count: 1
Published in:
· Proceeding
FMSE '06
Proceedings of the fourth ACM workshop on Formal methods in security
Pages 67-77
ACM
New York, NY
, USA
©2006
table of contents
ISBN:1-59593-550-9
doi>
10.1145/1180337.1180344
Tools and Resources
Buy this Article
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
CCS'13
Share:
|
Tags:
run-time enforcement
security
shared data repository
software/program verification
specifying and verifying and reasoning about programs
static verification
verification
web spplication girewall
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder