144 search results - page 17 / 29 » Information Flow Security in Dynamic Contexts |
118
Voted
CCS
1998
ACM
15 years 6 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
108
Voted
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we sketch a framework supporting contract enactment within the context of virtual organisation units that are dynamically created in order to achieve a common object...
113
click to vote
APLAS
2008
ACM
15 years 3 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
136
click to vote
ISITA
2010
14 years 11 months ago
2010
The NRL Network Pump R , or Pump, is a standard for mitigating covert channels that arise in a multi-level secure (MLS) system when a high user (HU) sends acknowledgements to a low...
145
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Highly dynamic computing environments, like ubiquitous and pervasive computing environments, require frequent adaptation of applications. Context is a key to adapt suiting user ne...