Home     Top: Security: Access Control    [Access Control   Encryption   Information Warfare   Intellectual Property Protection   Intrusion Detection]

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Tutorials/surveys/introductory articles (ordered by the degree of citation of authoritative articles)

This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.

9454.7   A Network-Centric Design For Relationship-Based Rights Management - Röscheisen (1997)   (Correct)
6139.9   Aspects Of Group Communications Security - Hassler (1995)   (Correct)
6130.1   A Guide to Understanding Security Modeling in Trusted Systems - NCSC (1992)   (Correct)
5801.7   Distributed Hypermedia Document Management - Requirements, Concepts.. - Burger (1995)   (Correct)
5414.7   Security In Databases: A Survey Study - Baraani-Dastjerdi, Pieprzyk.. (1996)   (Correct)
5368.9   Using Secure Coprocessors - Yee (1994)   (Correct)
5289.0   Security Design In Distributed Computing Applications - Zeleznik (1993)   (Correct)
4962.2   Face Recognition: A Literature Survey - Zhao, Chellappa, Rosenfeld, Phillips (2000)   (Correct)
4795.7   Mostly-Static Decentralized Information Flow Control - Myers (1999)   (Correct)
4032.7   File System Support for Multimedia Applications - Niranjan (1996)   (Correct)
3914.3   Security in Active Networks - Alexander (1999)   (Correct)
3786.1   Seamless and Secure Interoperation of Heterogeneous Distributed.. - Hale (1997)   (Correct)
3626.9   TACOMA - fundamental abstractions supporting agent computing in a.. - Sudmann (1996)   (Correct)
3563.6   Security for a High Performance Commodity Storage Subsystem - Gobioff (1999)   (Correct)
3538.1   Distributed Software Engineering - Invited State-of-the-Art Report - Kramer   (Correct)
3530.0   Inference and Aggregation Issues In Secure Database Management Systems - ?   (Correct)
3488.8   A Paradigm for Decentralized Process Modeling and its Realization in.. - Ben-Shaul (1995)   (Correct)
3483.2   Engineering Access Control for Distributed Enterprise Applications - Beznosov (2000)   (Correct)
3406.7   Filesystems for Network-Attached Secure Disks - Gibson, al. (1997)   (Correct)
3401.6   Security Protocols and their Properties - Abadi (2000)   (Correct)
3262.4   Dyad: A System for Using Physically Secure Coprocessors - Tygar, Yee (1991)   (Correct)
3261.6   Security and Decentralized Control in the SFS Global File System - Mazières (1997)   (Correct)
3162.8   REFERENCE MODEL FOR FRAMEWORKS OF SOFTWARE ENGINEERING ENVIRONMENTS.. - Final Draft   (Correct)
3090.9   Security Protocols and Specifications - Abadi (1999)   (Correct)
3024.7   Access Control and Signatures via Quorum Secret Sharing - Naor, Wool (1998)   (Correct)
2997.3   Issues in the Incorporation of Security Services into a Protocol.. - Tripunitara, Spafford   (Correct)
2952.4   Software Engineering for Security: a Roadmap - Devanbu, Stubblebine (2000)   (Correct)
2934.2   Byzantine Quorum Systems - Malkhi, Reiter (1997)   (Correct)
2863.8   Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999)   (Correct)
2829.3   Providing Policy-Neutral and Transparent Access Control in Extensible .. - Grimm, Bershad (1998)   (Correct)
2810.8   Secure Quality of Service Handling (SQoSH) - Alexander, Arbaugh, Keromytis, Muir, .. (2000)   (Correct)
2794.0   IP Multicast Security: Issues and Directions - Hardjono, Tsudik (1999)   (Correct)
2791.8   An Identity Authentication System Using Fingerprints - Jain, Hong, Pankanti, Bolle (1997)   (Correct)
2753.2   Security and Communication in Mobile Object Systems - Vitek, Serrano, Thanos (1997)   (Correct)
2691.9   Secure Mobile Code: The JavaSeal experiment - Vitek, Bryce (1999)   (Correct)
2685.9   Access Control and Signatures via Quorum Secret Sharing (Extended.. - Naor, Wool (1995)   (Correct)
2680.9   Face Recognition: A Convolutional Neural Network Approach - Lawrence, Giles, Tsoi, Back (1997)   (Correct)
2667.6   Face Recognition: A Hybrid Neural Network Approach - Lawrence, Giles, Tsoi, Back (1996)   (Correct)
2657.5   Hyperdocuments as Automata: Verification of Trace-based Browsing.. - David Stotts (1997)   (Correct)
2656.4   The Price of Safety in an Active Network - Alexander, Anagnostakis, Arbaugh.. (1999)   (Correct)
2638.7   Access Control for an Object-Oriented Distributed Platform - Ooi (1993)   (Correct)
2537.1   Types for Access Control - De Nicola, Ferrari, Pugliese, Venneri (1998)   (Correct)
2533.8   Confined Types - Bokowski, Vitek (1999)   (Correct)
2532.7   Architectural and Operating System Support for Orthogonal Persistence - Rosenberg (1992)   (Correct)
2508.9   A Reference Model for Firewall Technology - Schuba (1997)   (Correct)
2463.3   Design, Implementation and Performance of Protection in the Mungi.. - Vochteloo (1998)   (Correct)
2428.5   The Flask Security Architecture: System Support for Diverse Security.. - Spencer, Smalley, Loscocco, Hibler.. (1998)   (Correct)
2427.1   Security Models - McLean (1994)   (Correct)
2411.3   Java Security: Web Browsers and Beyond - Dean, Felten, Wallach, Balfanz (1998)   (Correct)
2400.5   Performance Analysis of Multicast Routing Algorithms - Yang (1998)   (Correct)
2332.6   Language Issues in Mobile Program Security - Volpano, Smith (1998)   (Correct)
2317.2   Polyinstantiation issues in multilevel secure database management.. - Unknown (1996)   (Correct)
2317.0   Secure Composition of Insecure Components - Sewell, Vitek (1999)   (Correct)
2300.9   Enforcing Mandatory and Discretionary Security in Workflow Management .. - Atluri, Huang (1996)   (Correct)
2288.2   Tableau Methods for Formal Verification of Multi-Agent Distributed.. - Massacci (1998)   (Correct)
2258.9   Satisfying Multiple Constraints in Real-Time Database Systems - Ahmed (1998)   (Correct)
2233.8   Secure Agreement Protocols: Reliable and Atomic Group Multicast in.. - Reiter (1994)   (Correct)
2210.7   SLIC: Secure Loadable Interposition Code - Ghormley, Petrou, Anderson (1996)   (Correct)
2207.2   Face Recognition Under Varying Pose - Beymer (1993)   (Correct)
2190.1   A Core Calculus of Dependency - Abadi, Banerjee, Heintze, Riecke (1999)   (Correct)
2180.5   The BeanChannel: Java distributed event model - Kleindienst   (Correct)
2175.5   The Distributed Compartment Model for Resource Management and Access.. - Steven Greenwald (1994)   (Correct)
2175.2   Access Control in Extensible Systems - Grimm, Bershad (1997)   (Correct)
2144.5   An Action-Based Logic Of Causality, Knowledge, Permission And.. - MacEwen, Chen, al. (1997)   (Correct)
2143.0   Distributed Virtual Machines: A System Architecture for Network.. - Sirer, Grimm, Gregory, Anderson.. (1998)   (Correct)
2136.6   A Symbiotic Relationship Between Formal Methods and Security - Wing (1998)   (Correct)
2134.5   The Rampart Toolkit for Building High-Integrity Services - Reiter (1995)   (Correct)
2044.1   Performance Implications of Securing Active Networks - Alexander, Arbaugh, Keromytis, Smith (1998)   (Correct)
2041.0   Data Management Issues and Tradeoffs in CSCW Systems - Prakash, Shim, Lee (1999)   (Correct)
2033.4   A PER Model of Secure Information Flow in Sequential Programs - Sabelfeld, Sands (2000)   (Correct)
2023.0   The use of Watermarks in the Protection of Digital Multimedia Products - Voyatzis, Pitas (1999)   (Correct)
2000.1   A Method for Examining Cryptographic Protocols - Tjaden (1997)   (Correct)
1998.7   The SwitchWare Active Network Implementation - Alexander, Hicks, Kakkar, Keromytis, .. (1998)   (Correct)
1989.3   Multicast Security: A Taxonomy and Efficient Constructions - Canetti, Garay, Itkis, Micciancio.. (1999)   (Correct)
1988.3   Implementing Mandatory Network Security In A Policy-Flexible System - Chitturi (1998)   (Correct)
1985.9   Speaker Identification Using Time-Delay HMEs - Chen, Xie, Chi (1996)   (Correct)
1985.2   Static Analysis of Processes for No Read-Up and No Write-Down - Bodei, Degano, Nielson, Nielson (1999)   (Correct)
1966.2   An Infrastructure for Building Distributed Services - John Carter (1998)   (Correct)
1944.5   The\Omega Key Management Service - Reiter, Franklin, Lacy, Wright (1996)   (Correct)
1938.3   Integrating Security in a Group Oriented Distributed System - Reiter, Birman, Gong (1992)   (Correct)
1932.3   An Architecture for a Secure Service Discovery Service - Czerwinski, Zhao, Hodes, Joseph, Katz (1999)   (Correct)
1928.6   Flexible Alias Protection - Noble, Vitek, Potter   (Correct)
1912.4   A Security Architecture for Tenet Scheme 2 - Oppliger, Gupta, Moran, Bettati   (Correct)
1897.2   Experience Using a Globally Shared State Abstraction to Support.. - Sai Susarla (1998)   (Correct)
1889.3   Authorization In Distributed Systems: A New Approach - Woo, Lam (1993)   (Correct)
1884.1   Hardening COTS Software with Generic Software Wrappers - Fraser, Badger, Feldman (1999)   (Correct)
1882.8   Security Benefits from Software Architecture - Bidan, Issarny (1997)   (Correct)
1882.1   Using Khazana to Support Distributed Application Development - Sai Susarla Anand   (Correct)
1872.3   Java Security: From HotJava to Netscape and Beyond - Dean, Felten, Wallach (1996)   (Correct)
1857.9   A Visual Query Facility for Multimedia Databases - El-Medani (1995)   (Correct)
1855.4   The Compositional Security Checker: A Tool for the Verification of.. - Focardi, al. (1997)   (Correct)
1846.7   KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari, Pugliese (1997)   (Correct)
1844.0   Turning the Web Into a Computer - Vahdat, Dahlin, Anderson (1996)   (Correct)
1831.2   Intrusion Detection using Sequences of System Calls - Hofmeyr, Forrest, Somayaji (1998)   (Correct)
1819.9   Towards a Definitive Paradigm for Security in Object-Oriented Systems .. - Demurjian, Sr., Ting   (Correct)
1817.1   Reasoning about Security: a Logic and a Decision Method for.. - Massacci (1997)   (Correct)
1804.5   Towards a Role Based Framework for Distributed System Management - Lupu, Sloman (1997)   (Correct)
1793.8   Protecting Mobile Agents through Tracing - Vigna (1997)   (Correct)
1786.2   Representing Java Classes in a Typed Intermediate Language - League, Shao, Trifonov (1999)   (Correct)
1783.5   A Java Beans Component Architecture for Cryptographic Protocols - Nikander, Karila (1997)   (Correct)
1771.3   Access Control in Wide-Area Networks - Matti Hiltunen   (Correct)
1771.0   Hyperdocuments as Automata: Trace-based Browsing Property Verification - Stotts, Furuta, Ruiz (1992)   (Correct)
1743.9   Tableaux Methods for Access Control in Distributed Systems - Massacci (1997)   (Correct)
1719.1   The Operating System Kernel as a Secure Programmable Machine - Engler, Kaashoek, O'Toole, Jr. (1994)   (Correct)
1717.0   A Guide To Procurement Of Single And Connected Systems - Language For   (Correct)
1710.0   A Logic-based Knowledge Representation for Authorization with.. - Li, al. (1999)   (Correct)
1708.8   Mini-Cash: A Minimalistic Approach to E-Commerce - Jakobsson (1999)   (Correct)
1697.9   An Object-Oriented Interface to Reliable, Ordered Multicast.. - Beattie (1997)   (Correct)
1696.7   Seal: A Framework for Secure Mobile Computations - Vitek, Castagna (1999)   (Correct)
1680.4   Mechanical Proofs of Security Properties - Banâtre, al. (1994)   (Correct)
1679.1   Secure Composition of Untrusted Code: Wrappers and Causality Types - Sewell, Vitek (2000)   (Correct)
1678.6   "Pseudorandom Intermixing": A Tool for Shared Cryptography - Frankel, MacKenzie,, Yung   (Correct)
1678.5   On Digital Money and Card Technologies - Knorr (1997)   (Correct)
1668.1   Protecting Privacy using the Decentralized Label Model - Myers, Liskov (2000)   (Correct)
1667.1   A Calculus of Secure Mobile Computations - Vitek, Castagna (1998)   (Correct)
1666.2   Securing ATM Networks - Shaw-Cheng Chuang (1995)   (Correct)
1662.7   A Logical Approach to Multilevel Security of Probabilistic Systems - James Gray Iii (1992)   (Correct)
1653.5   A Security Proof System for Networks of Communicating Processes - Banatre, Bryce (1993)   (Correct)
1651.1   Security Issues in Mobile Computing - Asokan (1994)   (Correct)
1642.5   Dealing with Multi-Policy Security in Large Open Distributed Systems - Bidan, Issarny (1997)   (Correct)
1642.4   Policy Enforcement in Stub Autonomous Domains - Tsudik (1992)   (Correct)
1641.8   History-based Access Control for Mobile Code - Acharya, Edjlali (1997)   (Correct)
1640.9   ATM Cell based Security Implementation - Gamage, Leiwo, Zheng (1997)   (Correct)
1640.1   A Transparent Object-Oriented Schema Change Approach Using View.. - Ra, Rundensteiner (1995)   (Correct)
1636.7   Delegation Logic: A Logic-based Approach to Distributed Authorization - Li (2000)   (Correct)
1631.7   On Adaptable, Distributed Application Support Architectures - Zimmermann (1995)   (Correct)
1623.6   Secure Resource Access for Open Systems - Riely, HENNESSY   (Correct)
1621.7   Multicast Security: A Taxonomy and Some Efficient Constructions - Canetti, Garay, Itkis, Micciancio.. (1999)   (Correct)
1615.7   The Role of Trust Management in Distributed Systems Security - Blaze, Feigenbaum, Ioannidis..   (Correct)
1614.7   A Calculus for Access Control in Distributed Systems - Abadi, Burrows, Lampson, Plotkin (1991)   (Correct)
1613.8   EROS: a fast capability system - Shapiro, Smith, Farber (1999)   (Correct)
1613.0   Evidence and Non-repudiation - Zhou, Gollmann (1997)   (Correct)
1611.1   Epistemology of Information Flow in the Multilevel Security of.. - James Gray (1995)   (Correct)
1603.3   Integrating Security and Real-Time Requirements using Covert Channel.. - Son, Mukkamala, David (2000)   (Correct)
1599.2   Securing Ad Hoc Networks - Zhou, Haas (1999)   (Correct)
1596.6   Countermeasures for Mobile Agent Security - Jansen (2000)   (Correct)
1595.5   Terminology, Criteria And System Architectures For Data Integrity - Sandhu (1989)   (Correct)
1578.5   Draft material for Edition 3 of Distributed Systems - Concepts and.. - Coulouris (2000)   (Correct)
1570.7   Authorization in Distributed Systems: A Formal Approach - Woo, Lam (1992)   (Correct)
1566.4   Access Control: The Neglected Frontier - Sandhu (1996)   (Correct)
1564.4   Authentication of Mobile Users - Refik Molva (1994)   (Correct)
1560.7   SIP: Session Initiation Protocol - Handley, Schulzrinne, Schooler.. (2000)   (Correct)
1557.6   Nested Java Processes: OS Structure for Mobile Code - Tullmann, Lepreau (1998)   (Correct)
1553.9   Privacy-Preserving Data Mining - Agrawal, Srikant (2000)   (Correct)
1552.2   Data Management and QoS in Distributed Multimedia Systems - Towards.. - Goebel, Plagemann (1996)   (Correct)
1551.5   Analysis of the Security of Windows NT - Hedbom, Lindskog, al. (1998)   (Correct)
1550.2   The JavaSeal Mobile Agent Kernel - Bryce, Vitek (1999)   (Correct)
1548.2   Efficient Communication Mechanisms for Cluster Based Parallel.. - Davis, Swanson, Parker (1996)   (Correct)
1545.2   Simple and Flexible Datagram Access Controls for Unix-based Gateways - Mogul (1989)   (Correct)
1534.9   Secure Network Objects - van Doorn, Abadi, Burrows, Wobber (1996)   (Correct)
1531.8   Itinerant Agents for Mobile Computing - Chess, Grosof, Harrison, Levine.. (1995)   (Correct)
1530.5   Management By Delegation - From Research Prototypes Towards Standards - Schönwälder   (Correct)
1522.8   Perfectly-Secure Key Distribution for Dynamic Conferences - Blundo, De Santis, Herzberg, Kutten, .. (1995)   (Correct)
1509.3   The CRISIS Wide Area Security Architecture - Belani, Vahdat, Anderson, Dahlin (1998)   (Correct)
1507.5   Overview of Internet Protocol Security - Mackinnon, McGregor, Breen (1994)   (Correct)
1506.8   Department Of Defense Standard Department Of Defense Trusted Computer .. - Unknown (1985)   (Correct)
1503.9   A Secure Desktop Meeting System - Hassler, Lipp, Posch (1994)   (Correct)
1498.1   Ajanta - A System for Mobile Agent Programming - Tripathi, Karnik, Vora, Ahmed   (Correct)
1492.9   Example Based Learning for View-Based Human Face Detection - Sung, Poggio (1995)   (Correct)
1490.0   Confidentiality and Integrity with Untrusted Hosts - Zdancewic, Myers (2000)   (Correct)
1488.9   On the Characterisation of Law and Computer Systems: The Normative.. - Jones (1993)   (Correct)
1487.8   Secure Object Spaces - A coordination model for Agents - Bryce, Oriol, Vitek (1999)   (Correct)
1481.4   Mobile Agent Programming in Ajanta - Anand Tripathi (1999)   (Correct)
1480.5   Secure Group Communication in Asynchronous Networks with Failures.. - Yair Amir (2000)   (Correct)
1476.2   PUNCH: An architecture for Web-enabled wide-area network-computing - Kapadia, Fortes (1999)   (Correct)
1470.2   Security for Network Attached Storage Devices - Howard Gobioff   (Correct)
1469.4   A Coordination Model for Agents based on Secure Spaces - Bryce, Oriol, Vitek (1999)   (Correct)
1469.1   Frontal face authentication using discriminating grids with.. - Kotropoulos, Tefas, Pitas (1999)   (Correct)
1468.7   On the Structure of Delegation Networks - Aura (1997)   (Correct)
1457.9   Authentication primitives and their compilation - Abadi, Fournet, Gonthier (2000)   (Correct)
1453.4   What online Machine Learning can do for Knowledge Acquisition - A.. - Sommer, Morik, al. (1992)   (Correct)
1447.5   A Kernelized Architecture for Multilevel Secure Object-Oriented.. - Roshan Thomas (1993)   (Correct)
1444.7   Enforceable Security Policies - Schneider (1998)   (Correct)
1441.5   Cryptovirology: Extortion-Based Security Threats and Countermeasures - Young, Yung (1996)   (Correct)
1438.3   Secure Programming for Linux and Unix HOWTO - Wheeler (2000)   (Correct)
1437.8   Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi, Burrows, Wobber (1992)   (Correct)
1430.7   Global/Local Subtyping for a Distributed pi-calculus - Sewell (1997)   (Correct)
1429.5   A Type System for Expressive Security Policies - Cornell (1999)   (Correct)
1429.0   EROS: A Capability System - Shapiro, Smith, Farber (1997)   (Correct)
1427.5   Old Wine in New Bottles - Applying OS Process Migration Technology to .. - Milojicic, Guday, Wheeler (1997)   (Correct)
1421.6   Agent Trustworthiness - Kassab, Voas (1998)   (Correct)
1419.0   Session-Key Generation using Human Passwords Only - Goldreich, Lindell (2000)   (Correct)
1415.7   An End-to-End Argument for Network Layer, Inter-Domain Access Controls - Estrin, Tsudik (1991)   (Correct)

CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute