1748 search results - page 48 / 350 » Using Aspect Programming to Secure Web Applications |
117
Voted
IEEEIAS
2008
IEEE
15 years 8 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
140
click to vote
APSCC
2006
IEEE
15 years 5 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
112
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
113
Voted
FC
2010
Springer
15 years 5 months ago
2010
Springer
We present the first sound program source transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsa...
187
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we propose a methodological approach for the model driven development of secure XML databases (DB). This proposal is within the framework of MIDAS, a model driven m...