3420 search results - page 274 / 684 » A Language-Based Approach to Security |
153
Voted
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
— A novel power attack resistant cryptosystem is presented in this paper. Security in digital computing and communication is becoming increasingly important. Design techniques th...
158
Voted
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
154
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
182
click to vote
LICS
2002
IEEE
15 years 10 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
211
Voted
MM
1994
ACM
15 years 9 months ago
1994
ACM
We have designed, built, and analyzed a distributed parallel storage system that will supply image streams fast enough to permit multi-user, "real-time", video-like appl...