878 search results - page 111 / 176 » A Compiler-Based Approach to Data Security |
BIOSURVEILLANCE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, p...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
ICDCS
2006
IEEE
15 years 6 months ago
2006
IEEE
A peer-to-peer (P2P) storage system allows a network of peer computers to increase the availability of their data by replicating it on other peers in the network. In such networks...
SPW
2004
Springer
15 years 5 months ago
2004
Springer
abstract February 6, 2004 Security protocols typically employ an authentication phase followed by a protected data exchange. In some cases, such TLS, these two phases are tightly ...
102
click to vote
CCS
1998
ACM
15 years 4 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...