540 search results - page 80 / 108 » Protection in Programming-Language Translations |
IFIP
2007
Springer
15 years 3 months ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
93
Voted
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...
CC
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
76
Voted
CCS
2004
ACM
15 years 2 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
87
Voted
OOPSLA
2001
Springer
15 years 1 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...