4731 search results - page 73 / 947 » Securing Interactive Programs |
CC
2005
Springer
14 years 2 months ago
2005
Springer
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
IPCCC
2007
IEEE
14 years 3 months ago
2007
IEEE
– In this paper, we present a comprehensive study on the design of secure and survivable wireless sensor networks (WSNs). Our goal is to develop a framework that provides both se...
WISA
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we, as well as Eskin, Lee, Stolfo [7] propose a method of prediction model. In their method, the program was characterized with both the order and the kind of system...