1771 search results - page 13 / 355 » An Aspect-Oriented Security Framework |
ICSR
2004
Springer
14 years 21 days ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
FMOODS
2007
13 years 8 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
INFOCOM
2012
IEEE
11 years 9 months ago
2012
IEEE
Wireless Sensor Networks (WSNs) are no longer a nascent technology and today, they are actively deployed as a viable technology in many diverse application domains such as health ...
CSFW
2012
IEEE
11 years 9 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
OOPSLA
2004
Springer
14 years 21 days ago
2004
Springer
There are a number of technologies designed to improve modularity in software systems. The technique presented here combines two of them seamlessly to exploit their respective ben...