151 search results - page 1 / 31 » A verification framework for access control in dynamic web a... |
112
click to vote
C3S2E
2009
ACM
15 years 4 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
ICWS
2003
IEEE
15 years 2 months ago
2003
IEEE
Policy specification for securing Web services is fast emerging as a key research area due to rapid proliferation of Web services in modern day enterprise applications. Whilst the...
132
Voted
WORDS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
116
click to vote
ISPEC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Access control is a system-wide concern that has both a generic nature and an application dependent characteristic. It is generic as many functions must be protected with...
94
Voted
ENTCS
2006
15 years 22 days ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...