Sciweavers

    SP
    1996
    IEEE
    140views Security Privacy» more  SP 1996»
    A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification
    13 years 11 months ago
    A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification
    Download  www.cs.ucc.ie
    In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
    Simon N. Foley, Li Gong, Xiaolei Qian
    claim paper
    Read More »
    SP
    1996
    IEEE
    116views Security Privacy» more  SP 1996»
    Defining Noninterference in the Temporal Logic of Actions
    13 years 11 months ago
    Defining Noninterference in the Temporal Logic of Actions
    Download  www.cs.utah.edu
    Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
    Todd Fine
    claim paper
    Read More »
    SP
    1996
    IEEE
    101views Security Privacy» more  SP 1996»
    An Immunological Approach to Change Detection: Algorithms, Analysis and Implications
    13 years 11 months ago
    An Immunological Approach to Change Detection: Algorithms, Analysis and Implications
    Download  www.cs.unm.edu
    We present new results on a distributable changedetection method inspired by the natural immune system. A weakness in the original algorithm was the exponential cost of generating...
    Patrik D'haeseleer, Stephanie Forrest, Paul Helman
    claim paper
    Read More »
    SP
    1996
    IEEE
    92views Security Privacy» more  SP 1996»
    Java Security: From HotJava to Netscape and Beyond
    13 years 11 months ago
    Java Security: From HotJava to Netscape and Beyond
    Download  www.cs.princeton.edu
    Drew Dean, Edward W. Felten, Dan S. Wallach
    claim paper
    Read More »
    SP
    1996
    IEEE
    121views Security Privacy» more  SP 1996»
    A Security Policy Model for Clinical Information Systems
    13 years 11 months ago
    A Security Policy Model for Clinical Information Systems
    Download  www.cs.colostate.edu
    The protection of personal health information has become a live issue in a number of countries including the USA, Canada, Britain and Germany. The debate has shown that there is w...
    Ross J. Anderson
    claim paper
    Read More »
    SP
    1996
    IEEE
    100views Security Privacy» more  SP 1996»
    A Sense of Self for Unix Processes
    13 years 11 months ago
    A Sense of Self for Unix Processes
    Download  cs.unm.edu
    A method for anomaly detection is introduced in which "normal" is defined by short-range correlations in a process' system calls. Initial experiments suggest that t...
    Stephanie Forrest, Steven A. Hofmeyr, Anil Somayaj...
    claim paper
    Read More »
    CCS
    1997
    ACM
    102views Security Privacy» more  CCS 1997»
    Conditional Purchase Orders
    13 years 11 months ago
    Conditional Purchase Orders
    Download  www.schneier.com
    John Kelsey, Bruce Schneier
    claim paper
    Read More »
    CCS
    1997
    ACM
    80views Security Privacy» more  CCS 1997»
    On the Importance of Securing Your Bins: The Garbage-man-in-the-middle Attack
    13 years 11 months ago
    On the Importance of Securing Your Bins: The Garbage-man-in-the-middle Attack
    Download  www.uclouvain.be
    In this paper, we address the following problem: \ Is it possible to weaken/attack a scheme when a (provably) secure cryptosystem is used? ". The answer is yes. We exploit we...
    Marc Joye, Jean-Jacques Quisquater
    claim paper
    Read More »
    CCS
    1997
    ACM
    81views Security Privacy» more  CCS 1997»
    Proactive Public Key and Signature Systems
    13 years 11 months ago
    Proactive Public Key and Signature Systems
    Download  www.informatics.indiana.edu
    Amir Herzberg, Markus Jakobsson, Stanislaw Jarecki...
    claim paper
    Read More »
    CCS
    1997
    ACM
    88views Security Privacy» more  CCS 1997»
    The Security of Static Typing with Dynamic Linking
    13 years 11 months ago
    The Security of Static Typing with Dynamic Linking
    Download  www.csl.sri.com
    Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating sy...
    Drew Dean
    claim paper
    Read More »
    « first‹ previous…203204205206207208209210211…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.