PERVASIVE BINDING OF LABELS TO SYSTEM PROCESSES

PERVASIVE BINDING OF LABELS TO SYSTEM PROCESSES (2005)

Cached

Download Links

[www.cerias.purdue.edu]

by Florian Buchholz

Citations:

4 - 3 self

BibTeX

@MISC{Buchholz05pervasivebinding,
    author = {Florian Buchholz},
    title = {PERVASIVE BINDING OF LABELS TO SYSTEM PROCESSES},
    year = {2005}
}

Bookmark

OpenURL

Abstract

Citations

1950	Computational complexity - Papadimitriou - 1994
1134	Security architecture for the internet protocol - Kent, Atkinson - 1998
914	On computable numbers, with an application to the ”Entscheidungsproblem - Turing - 1936
619	Security policies and security models - Goguen, Meseguer - 1982
478	A lattice model of secure information flow - DENNING - 1976
462	Network support for IP traceback - Savage, Wetherall, et al. - 2001
458	Language-based information-flow security - Sabelfeld, Myers
444	Internet protocol - Postel - 1981
438	Network Ingress Filtering: Defeating Denial of Service Attacks Which Employ - Ferguson, Senie - 2000
411	The Unix time-sharing system - Ritchie, Thompson - 1974
366	Integrity considerations for secure computer systems - Biba - 1977
348	Certification of programs for secure information flow - Denning, Denning - 1977
345	lmbench: Portable Tools for Performance Analysis - McVoy, Staelin - 1996
345	A sound type system for secure flow analysis - Volpano, Irvine, et al. - 1996
339	A note on the confinement problem - Lampson
314	Internet Protocol, Version 6 (IPv6) Specification", RFC 2460 - Deering, Hinden - 1998
304	The chinese wall security policy - Brewer, Nash - 1989
277	ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay - Dunlap, King, et al. - 2002
246	Insertion, evasion, and denial of service: eluding Network intrusion detection,” Secure Networks - Ptacek, Newsham - 1998
238	Security Problems in the TCP/IP Protocol Suite - Bellovin - 1989
237	Computer Security Threat Monitoring and Surveillance - Anderson
235	Implementing pushback: router-based defense against DDoS Attacks, in - Ioannidis, Bellovin - 2002
235	The Design and Implementation of the 4.4BSD Operating System - MCKUSICK, BOSTIC, et al. - 1996
214	The slam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998
208	Advanced and authenticated Marking Schemes for IP Traceback - Song, Perrig - 2001
202	Integrating Flexible Support for Security Policies into the Linux Operating System - LOSCOCCO, SMALLEY
198	A virtual machine introspection based architecture for intrusion detection - Garfinkel, Rosenblum - 2003
197	On the effectiveness of route-based packet filtering for distributed DoS attack prevention in power-law internets - Park, Lee
185	The Design and Implementation of Tripwire: A File System Integrity Checker - Kim, Spafford - 1994
181	Secure information flow in a multi-threaded imperative language - Smith, Volpano - 1998
176	CenterTrack: An IP Overlay Network for Tracking DoS - Stone - 2000
165	An algebraic approach to IP traceback - Dean, Franklin, et al. - 2002
159	Backtracking intrusions - King, Chen - 2005
154	An algorithm for the organization of information - Adelson-Velskii, Landis - 1962
136	Reimplementing the Cedar File System Using Logging and Group Commit - Hagmann - 1987
133	Hash-based IP traceback - Snoeren, Partridge, et al. - 2001
130	Inferring Internet Denial of Service activity - Moore, Voelker, et al. - 2001
129	On the Effectiveness of Probabilistic Packet Marking for IP Traceback under Denial of Service Attack,” Infocom 2001 - Lee, Park - 2001
129	Detecting stepping stones - Zhang, Paxson - 2000
120	Extent-like Performance from a UNIX File System - McVoy, Kleiman - 1991
114	Debugging operating systems with time-traveling virtual machines - King, Dunlap, et al. - 2005
114	PI: a path identification mechanism to defend against DDOS attack - Yaar, Perrig, et al.
95	Design and implementation of the Second Extended Filesystem - CARD, TS’O, et al. - 1994
95	Holding Intruders Accountable on the Internet - Staniford-Chen, Heberlein - 1995
94	Secure Audit Logs to Support Computer Forensics - Schneier, Kelsey - 1999
90	ICMP traceback messages - BELLOVIN, LEECH, et al. - 2001
82	Probabilistic noninterference in a concurrent language - Volpano, Smith - 1998
77	Advanced Programming in the UNIX Environment - Stevens - 1992
71	A semantic approach to secure information flow - Joshi, Leino
63	The number of partitions of a set - Rota - 1964