Sciweavers

800 search results - page 10 / 160
» XML access control using static analysis
Sort
View
98
Voted
WWW
2004
ACM
15 years 10 months ago
Securing web application code by static analysis and runtime protection
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung...
EMSOFT
2009
Springer
15 years 4 months ago
Refining the control structure of loops using static analysis
Gogul Balakrishnan, Sriram Sankaranarayanan, Franj...
CSFW
2006
IEEE
15 years 4 months ago
Secrecy by Typing and File-Access Control
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
Avik Chaudhuri, Martín Abadi
DBPL
2009
Springer
131views Database» more  DBPL 2009»
15 years 4 months ago
XML Security Views Revisited
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
Benoît Groz, Slawomir Staworko, Anne-C&eacut...
IEEEARES
2008
IEEE
15 years 4 months ago
Static Validation of Licence Conformance Policies
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
René Rydhof Hansen, Flemming Nielson, Hanne...