Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

lionell library [116 articles]

Статьи, недавно добавленные в библиотеку lionell .
  • A theoretical study of TOCTTOU problem modeling
    by Jinpeng Wei, Calton Pu
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Setuid Demystified
    (2002), pp. 171-190.
    by Hao Chen, David Wagner, Drew Dean
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • TOCTTOU Vulnerabilities in UNIX-Style File Systems: An Anatomical Study
    (2005), pp. 155-167.
    by Jinpeng Wei, Calton Pu
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Typestate: A programming language concept for enhancing software reliability
    IEEE Trans. Softw. Eng., Vol. 12, No. 1. (1986), pp. 157-171.
    by RE Strom, S Yemini
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Using Build-Integrated Static Checking to Preserve Correctness Invariants
    (October 2004)
    by Hao Chen, Jonathan Shapiro
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Model Checking An Entire Linux Distribution for Security Violations
    (December 2005)
    by Benjamin Schwarz, Hao Chen, David Wagner, Geoff Morrison, Jacob West, Jeremy Lin, Wei Tu
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • The BLAST query language for software verification
    (2004), pp. 2-18.
    by Dirk Beyer, Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Permissive interfaces
    SIGSOFT Softw. Eng. Notes, Vol. 30, No. 5. (2005), pp. 31-40.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Flow analysis for verifying properties of concurrent software systems
    ACM Trans. Softw. Eng. Methodol., Vol. 13, No. 4. (2004), pp. 359-430.
    by Matthew B Dwyer, Lori A Clarke, Jamieson M Cobleigh, Gleb Naumovich
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines
    (December 2004)
    by Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Reducing TCB size by using untrusted components - small kernels versus virtual-machine monitors
    (September 2004)
    by Michael Hohmuth, Michael Peter, Hermann Härtig, Jonathan S Shapiro
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Model Checking One Million Lines of C Code.
    (February 2004)
    by Hao Chen, Drew Dean, David Wagner
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Ostia: A Delegating Architecture for Secure System Call Interposition
    (February 2004)
    by Mendel
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • MOPS: an Infrastructure for Examining Security Properties of Software
    (November 2002)
    by Hao Chen, David Wagner
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Mimicry Attacks on Host-Based Intrusion Detection Systems
    (November 2002)
    by David Wagner, Paolo Soto
    posted to attack ids by lionell on 2006-04-29 16:27:57 as **
  • Security Architecture Revisited
    (September 2002)
    by Hermann Härtig
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • MOPS: an Infrastructure for Examining Security Properties of Software
    No. UCB/CSD-02-1197. (2002)
    by Hao Chen, David A Wagner
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Lazy Abstraction
    (2002)
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • FormatGuard: Automatic Protection From printf Format String Vulnerabilities
    (August 2001)
    by Crispin Cowan, Matt Barringer, Steve Beattie, Greg K Hartman
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Detecting Format String Vulnerabilities with Type Qualifiers
    (August 2001)
    by Umesh Shankar, Kunal Talwar, Jeffrey S Foster, David Wagner
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Testing Intrusion Detection Systems: A Critique of the 1998 and 1999 DARPA Intrusion Detection System Evaluations as Performed by Lincoln Laboratory
    ACM Transactions on Information and System Security, Vol. 3, No. 4. (November 2000), pp. 262-294.
    by John Mchugh
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks
    (1998)
    by Crispan Cowan, Calton Pu, Dave Maier, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang, Heather Hinton
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Secure Execution Via Program Shepherding
    (August 2002)
    by Saman
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Analyzing Integrity Protection in the SELinux Example Policy
    (August 2003)
    by Trent Jaeger, Reiner Sailer, Xiaolan Zhang
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Using CQUAL for Static Analysis of Authorization Hook Placement
    (August 2002)
    by Xiaolan Zhang, Antony Edwards, Trent Jaeger
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Linux Security Modules: General Security Support for the Linux Kernel
    (August 2002)
    by Chris Wright, Crispin Cowan, Stephen Smalley, James Morris, Greg K Hartman
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Linux Security Module Framework
    (June 2002)
    by Chris Wright, Crispin Cowan, Stephen Smalley, James Morris, Greg K Hartman
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Optimizing the Migration of Virtual Computers
    (December 2002)
    by Constantine P Sapuntzakis, Ramesh Chandra, Ben Pfaff, Jim Chow, Monica S Lam, Mendel Rosenblum
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Automated Response Using System-Call Delays
    (August 2000)
    by Anil Somayaji, Stephanie Forrest
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Intrusion Detection Using Sequences of System Calls
    Journal of Computer Security, Vol. 6, No. 3. (1998), pp. 151-180.
    by Stephanie Forrest, Steven Hofmeyr, Anil Somayaji
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • A Quantitative Study of Firewall Configuration Errors
    IEEE Computer Magazine, Vol. 37, No. 6. (June 2004), pp. 62-67.
    by Avishai Wool
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Untitled
    (2006)
    by cert C Center
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Detecting and Countering System Intrusions Using Software Wrappers
    (August 2000)
    by Calvin Ko, Timothy Fraser, Lee Badger, Douglas Kilpatrick
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Using Text Categorization Techniques For Intrusion Detection
    (August 2002)
    by Rao
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Untitled
    (2006)
    by microsoft V Pc
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Implementing a User-Mode Linux with Minimal Changes from Original Kernel
    (September 2002)
    by Hans J Höxer, Kerstin Buchacker, Vokmar Sieh
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • A Taxonomy of Computer Worms
    (October 2003)
    by N Weaver, V Paxson, S Staniford, R Cunningham
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • The Internet Worm Program: An Analysis
    No. CSD-TR-823. (1988)
    by Eugene H Spafford
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • DWARF Debugging Information Format
    (July 1993)
    by programming L Sig
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • EMERALD: Event Monitoring Enabling Responses to Anomalous Live Disturbances
    (1997), pp. 353-365.
    by PA Porras, PG Neumann
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Computer Security Thread Monitoring and Surveillance
    (April 1990)
    by James P Anderson
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • An Intrusion-Detection Model
    IEEE Transactions on Software Engineering, Vol. 13, No. 2. (February 1987)
    by Dorothy E Denning
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Privtrans: Automatically Partitioning Programs for Privilege Separation
    (August 2004)
    by David Brumley, Dawn Song
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Preventing Privilege Escalation
    (August 2003)
    by Niels Provos, Markus Friedl, Peter Honeyman
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Improving Host Security with System Call Policies
    (August 2003)
    by Niels Provos
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • Detecting Backdoors
    (August 2000), pp. 157-170.
    by Yin Zhang, Vern Paxson
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • A user-mode port of the Linux Kernel
    (October 2000)
    by Jeff Dike
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • IBM z/VM and VM/ESA Home page
    (2006)
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • The Caml Language
    (2006)
    by institut
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
  • BLAST
    (2006)
    by Thomas Henzinger, Rupak Majumdar, Dirk Beyer, Ranjit Jhala, Gregoire Sutre, Adam Chlipala
    posted to bibtex-import by lionell on 2006-04-29 16:27:57 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/lionell

    Result page: 1 2 3 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.