8644 search results - page 406 / 1729 » On the Composition of Secure Systems |
167
click to vote
AINA
2004
IEEE
15 years 11 months ago
2004
IEEE
A secure MANET system, called SMANET, was developed that accepts only those packets whose MAC addresses are in the Linux iptable firewall rules. Detailed iptable set up and the pe...
247
click to vote
USENIX
2004
15 years 9 months ago
2004
The prevention of damage caused to a system via malicious executables is a significant issue in the current state of security on Linux operating systems. Several approaches are av...
192
Voted
POPL
1998
ACM
15 years 12 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
219
click to vote
SP
2002
IEEE
15 years 7 months ago
2002
IEEE
Despite our best efforts, any sufficiently complex computer system has vulnerabilities. It is safe to assume that such vulnerabilities can be exploited by attackers who will be ab...
224
click to vote
EUROSYS
2007
ACM
16 years 4 months ago
2007
ACM
Antiquity is a wide-area distributed storage system designed to provide a simple storage service for applications like file systems and back-up. The design assumes that all serve...