registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

criswells security [34 articles]

Neue Publikationen in criswells Bibliothek eingetragen unter dem Bezeichner: security. You can also see everyone's security.
  • Encoding Information Flow in Haskell
    (2006)
    by Peng Li, Steve Zdancewic
    posted to security by criswell on 2008-03-22 18:09:23 as ** along with 5 people msakai keigoi scavadini tesissvc pedagand
  • A trusted open platform
    Computer, Vol. 36, No. 7. (2003), pp. 55-62.
    posted to attestation security by criswell on 2008-03-18 15:59:13 as ** along with 2 people kartoch emiliorp
  • Terra: a virtual machine-based platform for trusted computing
    (2003), pp. 193-206.
    by Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh
  • Semantic Remote Attestation—A Virtual Machine Directed Approach to Trusted Computing
    VM '04, pp. 29-41.
    by Vivek, Ra, Michael Franz
    posted to security by criswell on 2008-03-17 21:34:00 as **
  • Design and implementation of a TCG-based integrity measurement architecture
    (2004), pp. 16-16.
    by Reiner Sailer, Xiaolan Zhang, Trent Jaeger, Leendert van Doorn
  • Secure program execution via dynamic information flow tracking
    Vol. 39, No. 11. (November 2004), pp. 85-96.
    by Edward E Suh, Jae W Lee, David Zhang, Srinivas Devadas
  • Typed memory management via static capabilities
    ACM Trans. Program. Lang. Syst., Vol. 22, No. 4. (July 2000), pp. 701-771.
    by David Walker, Karl Crary, Greg Morrisett
    posted to security by criswell on 2008-03-10 21:26:27 as ** along with 1 person dsilva
  • Security associations: building blocks for secure communications
    Computers and Communications, 1995. Proceedings., IEEE Symposium on (1995), pp. 157-163.
    by WD Maughan, AB Reiss, MJ Schertler
    posted to security by criswell on 2008-03-07 19:48:08 as **
  • Secure virtual architecture: a safe execution environment for commodity operating systems
    (2007), pp. 351-366.
    by John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram Adve
  • Labels and event processes in the asbestos operating system
    SIGOPS Oper. Syst. Rev., Vol. 39, No. 5. (December 2005), pp. 17-30.
    by Petros Efstathopoulos, Maxwell Krohn, Steve Vandebogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, Frans Kaashoek, Robert Morris
    posted to mac os security by criswell on 2008-01-29 20:18:40 as read
  • Non-Control-Data Attacks Are Realistic Threats
    14th USENIX Security Symposium, pp. 177-192.
    posted to security by criswell on 2007-05-09 06:55:24 as read along with 1 person alexeysmirnov
  • Testing Intrusion detection systems: a critique of the 1998 and 1999 DARPA intrusion detection system evaluations as performed by Lincoln Laboratory
    ACM Trans. Inf. Syst. Secur., Vol. 3, No. 4. (November 2000), pp. 262-294.
    posted to security ids by criswell on 2007-01-12 04:00:46 as ** along with 3 people mercutio ecronin thefillm
  • An empirical study of operating systems errors
    SIGOPS Oper. Syst. Rev., Vol. 35, No. 5. (December 2001), pp. 73-88.
    by Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler
    posted to security by criswell on 2006-12-18 20:08:07 as **
  • Anomalous system call detection
    ACM Trans. Inf. Syst. Secur., Vol. 9, No. 1. (February 2006), pp. 61-93.
    by Darren Mutz, Fredrik Valeur, Giovanni Vigna, Christopher Kruegel
    posted to security syscalls by criswell on 2006-12-18 19:20:19 as ** along with 2 people sdvillal heiko_reese
  • notes Efficient Techniques for Comprehensive Protection from Memory Error Exploits
    14th USENIX Security Symposium, pp. 271-286.
    by , Eep, Daniel C Duvarney
    posted to security by criswell on 2006-12-15 16:57:19 as ** along with 1 person krisn11
  • Efficient software-based fault isolation
    SIGOPS Oper. Syst. Rev., Vol. 27, No. 5. (December 1993), pp. 203-216.
    by Robert Wahbe, Steven Lucco, Thomas E Anderson, Susan L Graham
    posted to memory security by criswell on 2006-12-05 23:04:25 as **
  • Improving Host Security with System Call Policies
    12th USENIX Security Symposium
    by Niels Provos
    posted to security syscalls by criswell on 2006-12-05 03:01:01 as **
  • Intrusion detection via static analysis
    Security and Privacy, 2001. S&P 2001. Proceedings. 2001 IEEE Symposium on (2001), pp. 156-168.
    by D Wagner, R Dean
  • Protecting privacy using the decentralized label model
    ACM Trans. Softw. Eng. Methodol., Vol. 9, No. 4. (October 2000), pp. 410-442.
    by Andrew C Myers, Barbara Liskov
    posted to security by criswell on 2006-11-12 16:08:31 as ** along with 1 person and 1 group mrkoot SNE
  • Vigilante: end-to-end containment of internet worms
    SIGOPS Oper. Syst. Rev., Vol. 39, No. 5. (December 2005), pp. 133-147.
    by Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham
    posted to security by criswell on 2006-11-09 22:58:13 as **
  • Improving security using extensible lightweight static analysis
    Software, IEEE, Vol. 19, No. 1. (2002), pp. 42-51.
    posted to security by criswell on 2006-08-10 05:23:56 as ** along with 3 people plaugg tmende martink
  • Towards the specification of access control policies on multiple operating systems
    Information Assurance Workshop, 2004. Proceedings from the Fifth Annual IEEE SMC (2004), pp. 210-217.
    by L Teo, GJ Ahn
    posted to security by criswell on 2006-08-08 22:06:00 as **
  • Evaluating Static Analysis Tools for Detecting Buffer Overflows in C Code
    (2005)
    posted to security memory by criswell on 2006-08-08 21:57:21 as ** along with 1 person mercutio
  • Mimicry attacks on host-based intrusion detection systems
    (2002), pp. 255-264.
    by David Wagner, Paolo Soto
  • Operating system enhancements to prevent the misuse of system calls
    (2000), pp. 174-183.
    by Massimo Bernaschi, Emanuele Gabrielli, Luigi V Mancini
    posted to syscalls security by criswell on 2006-08-04 22:29:36 as **
  • Secure applications need flexible operating systems
    Operating Systems, 1997., The Sixth Workshop on Hot Topics in (1997), pp. 56-61.
    posted to syscalls security by criswell on 2006-06-23 22:39:52 as ** along with 1 person imouthesmp
  • Remus: a security-enhanced operating system
    ACM Trans. Inf. Syst. Secur., Vol. 5, No. 1. (February 2002), pp. 36-61.
    by Massimo Bernaschi, Emanuele Gabrielli, Luigi V Mancini
    posted to syscalls security by criswell on 2006-05-26 16:56:03 as ** along with 1 person thefillm
  • Privileges and their use by trusted applications
    (1987), pp. 411-420.
    by J Picciotto, J Wynn
    posted to security by criswell on 2006-05-16 21:35:57 as **
  • Secured systems and Ada: a trusted system software architecture
    (1994), pp. 282-292.
    by Mark Aldrich
    posted to security by criswell on 2006-05-16 21:33:58 as **
  • Mondrix: memory isolation for linux using mondriaan memory protection
    Vol. 39, No. 5. (December 2005), pp. 31-44.
    by Emmett Witchel, Junghwan Rhee, Krste Asanovi&\#263;
  • Automatic placement of authorization hooks in the linux security modules framework
    (2005), pp. 330-339.
    by Vinod Ganapathy, Trent Jaeger, Somesh Jha
    posted to security by criswell on 2006-03-22 20:59:59 as **
  • Implementing an untrusted operating system on trusted hardware
    (2003), pp. 178-192.
    by David Lie, Chandramohan A Thekkath, Mark Horowitz
    posted to security by criswell on 2006-03-09 05:39:49 as **
  • Secure program partitioning
    ACM Trans. Comput. Syst., Vol. 20, No. 3. (August 2002), pp. 283-328.
    by Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C Myers
    posted to security by criswell on 2006-03-09 05:35:43 as ** along with 1 person jfischer
  • Labels and event processes in the asbestos operating system
    Vol. 39, No. 5. (December 2005), pp. 17-30.
    by Petros Efstathopoulos, Maxwell Krohn, Steve Vandebogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazi&\#232;res, Frans Kaashoek, Robert Morris
  • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/criswell/tag/security

    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.