4731 search results - page 73 / 947 » Securing Interactive Programs |
CC
2005
Springer
15 years 3 months ago
2005
Springer
OOPSLA
2009
Springer
15 years 4 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...
189
click to vote
POPL
2005
ACM
15 years 10 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
15 years 4 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
15 years 3 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...