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
Ordered by the expected number of citations based on the year of publication

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.

2028.5   SIP: Session Initiation Protocol - Handley, Schulzrinne, Schooler.. (2001)   (Correct)
942.8   The Anatomy of the Grid - Enabling Scalable Virtual Organizations - Foster, Kesselman, Tuecke (2001)   (Correct)
800.0   Grid Information Services for Distributed Resource Sharing - Czajkowski, Fitzgerald, Foster.. (2001)   (Correct)
742.8   ALMI: An Application Level Multicast Infrastructure - Pendarakis, Shi, Verma, Waldvogel (2001)   (Correct)
709.0   An Architecture for a Secure Service Discovery Service - Czerwinski, Zhao, Hodes, Joseph, Katz (1999)   (Correct)
628.5   Deployment Issues for the IP Multicast Service and Architecture - Diot, Levine, Lyles, Kassem.. (2000)   (Correct)
622.8   A Type System for Java Bytecode Subroutines - Stata, Abadi (1998)   (Correct)
454.5   A Core Calculus of Dependency - Abadi, Banerjee, Heintze, Riecke (1999)   (Correct)
443.4   Example Based Learning for View-Based Human Face Detection - Sung, Poggio (1995)   (Correct)
400.0   The Ponder Policy Specification Language - Damianou, Dulay, Lupu, Sloman (2001)   (Correct)
372.7   Securing Ad Hoc Networks - Zhou, Haas (1999)   (Correct)
359.9   The SLam Calculus: Programming with Secrecy and Integrity - Heintze, Riecke (1998)   (Correct)
354.2   Secure Group Communications Using Key Graphs - Wong, Gouda, Lam (1998)   (Correct)
342.8   Equational Properties of Mobile Ambients - Gordon (2001)   (Correct)
336.2   Role-Based Access Control Models - Sandhu, Coyne, Feinstein, Youman (1996)   (Correct)
327.2   Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999)   (Correct)
304.3   Java Security: From HotJava to Netscape and Beyond - Dean, Felten, Wallach (1996)   (Correct)
285.7   Herald: Achieving a Global Event Notification Service - Cabrera, Jones, Theimer (2001)   (Correct)
281.0   Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi, Burrows, Wobber (1992)   (Correct)
279.9   Resource Access Control in Systems of Mobile Agents - Hennessy, Riely (1998)   (Correct)
263.8   Going Beyond the Sandbox: An Overview of the New Security.. - Gong, Mueller, Prafullchandra.. (1997)   (Correct)
257.1   Intercepting Mobile Communications: The Insecurity of 802.11 - Borisov, Goldberg, Wagner (2001)   (Correct)
257.1   Certificate Chain Discovery in SPKI/SDSI - Clarke, Elien, Ellison, Fredette.. (2001)   (Correct)
257.1   Monitoring, Security, and Dynamic Configuration with the DynamicTAO.. - Kon, Román, Liu, Mao, Yamane, .. (2000)   (Correct)
252.1   SDSI - A Simple Distributed Security Infrastructure - Rivest, Lampson (1996)   (Correct)
218.1   Seal: A Framework for Secure Mobile Computations - Vitek, Castagna (1999)   (Correct)
218.1   A Formal Framework and Evaluation Method for Network Denial of Service - Meadows (1999)   (Correct)
211.5   Itinerant Agents for Mobile Computing - Chess, Grosof, Harrison, Levine.. (1995)   (Correct)
211.4   A Security Architecture for Computational Grids - Foster, Kesselman, Tsudik, Tuecke (1998)   (Correct)
200.0   Scalable Management and Data Mining using Astrolabe - van Renesse, Birman (2002)   (Correct)
200.0   IRM Enforcement of Java Stack Inspection - Erlingsson, Schneider (2000)   (Correct)
199.9   OS Support for General-Purpose Routers - Peterson, Karlin, Li (1999)   (Correct)
195.0   World-Wide Web Proxies - Luotonen, Altis (1994)   (Correct)
194.2   A Formal Specification of Java Virtual Machine Instructions for.. - Qian (1998)   (Correct)
194.2   NetBill Security and Transaction Protocol - Cox, al. (1995)   (Correct)
190.9   Hardening COTS Software with Generic Software Wrappers - Fraser, Badger, Feldman (1999)   (Correct)
185.7   IO-Lite: A Unified I/O Buffering and Caching System - Pai, Druschel, Zwaenepoel (2000)   (Correct)
185.7   Intrusion Detection in Wireless Ad-Hoc Networks - Zhang, Lee (2000)   (Correct)
182.8   Enforceable Security Policies - Schneider (1998)   (Correct)
181.8   Key Management for Secure Internet Multicast using Boolean Function.. - Isabella Chang (1999)   (Correct)
179.7   PayWord and MicroMint: Two simple micropayment schemes - Rivest, Shamir (1996)   (Correct)
172.7   JFlow: Practical Mostly-Static Information Flow Control - Myers (1999)   (Correct)
171.4   Secure Information Flow and CPS - Zdancewic, Myers (2001)   (Correct)
163.6   Architectural Design Patterns for Multiagent Coordination - Sandra Hayden (1999)   (Correct)
159.9   Byzantine Quorum Systems - Malkhi, Reiter (1998)   (Correct)
159.9   Probabilistic Noninterference in a Concurrent Language - Volpano, Smith (1998)   (Correct)
159.9   Understanding Java Stack Inspection - Wallach, Felten (1998)   (Correct)
158.0   Secure Agreement Protocols: Reliable and Atomic Group Multicast in.. - Reiter (1994)   (Correct)
157.1   Software Engineering for Security: a Roadmap - Devanbu, Stubblebine (2000)   (Correct)
157.1   Generic Support for Distributed Applications - Bacon, Moody, Bates, Hayton, Ma.. (2000)   (Correct)
148.9   Face Recognition: A Convolutional Neural Network Approach - Lawrence, Giles, Tsoi, Back (1997)   (Correct)
145.4   Proof-Carrying Authentication - Appel, Felten (1999)   (Correct)
145.4   Digital Signatures for Flows and Multicasts - Wong, Lam (1999)   (Correct)
144.6   A Formal Specification of Java Virtual Machine Instructions - Qian (1997)   (Correct)
142.8   Don't Trust Your File Server - Mazieres, Shasha (2001)   (Correct)
142.8   Aspect-Oriented Programming - Elrad, Filman, Bader (2001)   (Correct)
142.8   Extended Description Techniques For Security Engineering - Wimmel, Wisspeintner (2001)   (Correct)
142.8   Privacy-Preserving Data Mining - Agrawal, Srikant (2000)   (Correct)
141.3   The Active Badge Location System - Want, Hopper, Falco, Gibbons (1992)   (Correct)
140.7   Authentication in the Taos Operating System - Wobber, Abadi, Burrows, Lampson (1994)   (Correct)
140.4   A Logical Language for Expressing Authorizations - Jajodia, Samarati, Subrahmanian (1997)   (Correct)
138.2   A Calculus for Access Control in Distributed Systems - Abadi, Burrows, Lampson, Plotkin (1991)   (Correct)
136.3   Multicast Security: A Taxonomy and Some Efficient Constructions - Canetti, Garay, Itkis, Micciancio.. (1999)   (Correct)
136.3   A Type System for Expressive Security Policies - Cornell (1999)   (Correct)
136.2   The Rampart Toolkit for Building High-Integrity Services - Reiter (1995)   (Correct)
131.9   Identity Escrow - Kilian, Petrank (1997)   (Correct)
131.4   Implementing Protection Domains in the Java Development Kit 1.2 - Gong, Schemers (1998)   (Correct)
128.5   Secure Composition of Untrusted Code: Wrappers and Causality Types - Sewell, Vitek (2000)   (Correct)
128.5   Enforcing Trace Properties by Program Transformation - Colcombet, Fradet (2000)   (Correct)
128.5   Information Flow Inference For Free - Pottier, Conchon (2000)   (Correct)
128.5   Representation and Evaluation of Security Policies for Distributed.. - Ryutov, Neuman (2000)   (Correct)
127.2   Multicast Security: A Taxonomy and Efficient Constructions - Canetti, Garay, Itkis, Micciancio.. (1999)   (Correct)
127.2   Static Analysis of Processes for No Read-Up and No Write-Down - Bodei, Degano, Nielson, Nielson (1999)   (Correct)
121.6   Face Recognition Under Varying Pose - Beymer (1993)   (Correct)
118.1   PUNCH: An architecture for Web-enabled wide-area network-computing - Kapadia, Fortes (1999)   (Correct)
118.1   Certificate-Based Access Control For Widely Distributed Resources - Thompson, Johnston, Mudumbai, Hoo.. (1999)   (Correct)
114.8   Securing Distance-Vector Routing Protocols - Smith, Murthy, Garcia-Luna-Aceves (1997)   (Correct)
114.2   Limiting the Disclosure of Access Control Policies during Automated.. - Seamons, Winslett, Yu (2001)   (Correct)
114.2   A Survey of Energy Efficient Network Protocols for Wireless Networks - Jones, Sivalingam, Agrawal, Chen (2001)   (Correct)
114.2   LegionFS: A Secure and Scalable File System Supporting Cross-Domain.. - White, Walker, Humphrey, Grimshaw (2001)   (Correct)
114.2   The Price of Safety in an Active Network - Alexander, Menage, Keromytis.. (2001)   (Correct)
114.2   Why Information Security is Hard - An Economic Perspective - Anderson (2001)   (Correct)
114.2   Spontaneous Networking: An Application-oriented Approach to Ad Hoc.. - Feeney, Ahlgren, Westerlund (2001)   (Correct)
114.2   Security Protocols and their Properties - Abadi (2000)   (Correct)
114.2   Secure Group Communication in Asynchronous Networks with Failures.. - Yair Amir (2000)   (Correct)
114.2   A Practically Implementable and Tractable Delegation Logic - Li, Grosof, Feigenbaum (2000)   (Correct)
114.2   Verifying Secrets and Relative Secrecy - Volpano, Smith (2000)   (Correct)
114.2   The NIST Model for Role-Based Access Control: Towards A Unified.. - Sandhu, Ferraiolo, Kuhn (2000)   (Correct)
114.2   CLIQUES: A New Approach to Group Key Agreement - Steiner, Tsudik (1998)   (Correct)
110.6   Java Security: Present and Near Future - Gong (1997)   (Correct)
109.0   Secure Composition of Insecure Components - Sewell, Vitek (1999)   (Correct)
109.0   A Logic-based Knowledge Representation for Authorization with.. - Li, al. (1999)   (Correct)
109.0   Grids as Production Computing Environments: The Engineering Aspects.. - Johnston, Gannon, Nitzberg (1999)   (Correct)
109.0   Active Views for Electronic Commerce - Abiteboul, Cluet, Mignet, Amann.. (1999)   (Correct)
108.5   Cryptographic Traces for Mobile Agents - Vigna (1998)   (Correct)
102.8   Supporting Location-Awareness in Open Distributed Systems - Leonhardt (1998)   (Correct)
102.1   A Decentralized Model for Information Flow Control - Myers, Liskov (1997)   (Correct)
101.0   Proxy-Based Authorization and Accounting for Distributed Systems - Neuman (1993)   (Correct)
100.0   A PER Model of Secure Information Flow in Sequential Programs - Sabelfeld, Sands (2000)   (Correct)
100.0   Implementing a Distributed Firewall - Ioannidis, Keromytis, Bellovin, Smith (2000)   (Correct)
100.0   Static Enforcement of Security with Types - Skalka, Smith (2000)   (Correct)
100.0   Local Names In SPKI/SDSI 2.0 - Li (2000)   (Correct)
99.9   Representing Java Classes in a Typed Intermediate Language - League, Shao, Trifonov (1999)   (Correct)
99.9   EROS: a fast capability system - Shapiro, Smith, Farber (1999)   (Correct)
99.9   User Authentication and Authorization in the Java Platform - Lai, Gong, Koved, Nadalin, Schemers (1999)   (Correct)
99.9   A Role Based Access Control Model and Reference Implementation within .. - Ferraiolo, Barkley, Kuhn (1999)   (Correct)
98.2   Role-Based Access Control - Ferraiolo, Kuhn (1992)   (Correct)
97.8   Protecting Mobile Agents through Tracing - Vigna (1997)   (Correct)
97.1   Nested Java Processes: OS Structure for Mobile Code - Tullmann, Lepreau (1998)   (Correct)
93.6   A Unified Framework for Enforcing Multiple Access Control Policies - Jajodia, al. (1997)   (Correct)
91.4   Language Issues in Mobile Program Security - Volpano, Smith (1998)   (Correct)
91.4   Intrusion Detection using Sequences of System Calls - Hofmeyr, Forrest, Somayaji (1998)   (Correct)
91.4   Experience with Secure Multi-Processing in Java - Balfanz, al. (1998)   (Correct)
90.9   The JavaSeal Mobile Agent Kernel - Bryce, Vitek (1999)   (Correct)
86.9   An HTTP-based Infrastructure for Mobile Agents - Lingnau, Drobnik, Dömel (1995)   (Correct)
85.7   Authenticity by Typing for Security Protocols - Gordon, Jeffrey (2001)   (Correct)
85.7   Java bytecode verification: an overview - Leroy (2001)   (Correct)
85.7   Interoperable Strategies in Automated Trust Negotiation - Yu, Winslett, Seamons (2001)   (Correct)
85.7   A Language-Based Approach to Security - Fred Schneider Greg (2000)   (Correct)
85.7   Automated Trust Negotiation - Winsborough, Seamons, Jones (2000)   (Correct)
83.9   Security Models - McLean (1994)   (Correct)
83.9   Policy Driven Management For Distributed Systems - Sloman (1994)   (Correct)
81.8   Authentic Third-party Data Publication - Devanbu, Gertz, Martel, Stubblebine (1999)   (Correct)
81.8   Why Johnny Can't Encrypt: A Usability Evaluation of PGP 5.0 - Whitten, Tygar (1999)   (Correct)
80.0   Giggle: A Framework for Constructing Scalable Replica Location.. - Chervenak, Deelman, Foster, Guy.. (2002)   (Correct)
79.9   The CRISIS Wide Area Security Architecture - Belani, Vahdat, Anderson, Dahlin (1998)   (Correct)
76.5   KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari, Pugliese (1997)   (Correct)
74.2   A Grid-Enabled MPI: Message Passing in Heterogeneous Distributed.. - Foster, Karonis (1998)   (Correct)
74.2   Towards a Calculus of Secure Mobile Computations - Vitek, Castagna (1998)   (Correct)
72.3   The State of the Art in Electronic Payment Systems - Asokan, al. (1997)   (Correct)
71.4   Key Agreement in Dynamic Peer Groups - Steiner (2000)   (Correct)
71.4   Subtyping and Typing Algorithms for Mobile Ambients - Zimmer (2000)   (Correct)
69.1   The Operating System Kernel as a Secure Programmable Machine - Engler, Kaashoek, O'Toole, Jr. (1994)   (Correct)
66.6   A Pattern Matching Model for Misuse Intrusion Detection - Kumar, Spafford (1994)   (Correct)

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