518 search results - page 56 / 104 » Abstract Interpretation-Based Protection |
124
click to vote
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
130
Voted
BPM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
131
click to vote
RAID
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In this paper we describe an interface between intrusion detection systems and trusted system components. The approach presented differs from conventional intrusion dete...
125
Voted
TACS
2001
Springer
15 years 7 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
118
click to vote
ECWEB
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Digital goods such as music are vulnerable to illegal use over the internet. Technology-driven IT solutions to protection are useful but limited. Instead, we suggest that...