1748 search results - page 25 / 350 » Using Aspect Programming to Secure Web Applications |
89
Voted
COREGRID
2007
Springer
15 years 3 months ago
2007
Springer
This paper deals with one of the fundamental properties of grid computing – transferring code between grid nodes and executing it remotely on heterogeneous hosts. Contemporary mi...
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
80
Voted
POPL
2009
ACM
15 years 4 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
CCS
2011
ACM
13 years 9 months ago
2011
ACM
Parameter tampering attacks are dangerous to a web application whose server fails to replicate the validation of user-supplied data that is performed by the client. Malicious user...
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...