Home     Top: Security    Subtopics:   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.

9883.2   Lecture Notes on Cryptography - Goldwasser, Bellare (1996)   (Correct)
8246.5   Applicative Programming and Specification - Gilmore (1993)   (Correct)
8084.7   PVS Bibliography - Rushby (1998)   (Correct)
8063.5   Serverless Network File Systems - Dahlin (1995)   (Correct)
8024.0   Databases and Finite-Model Theory - Vianu (1997)   (Correct)
7937.9   A Comprehensive Review of Production-Oriented Manufacturing Cell.. - Joines, King, Culbreth (1996)   (Correct)
6713.6   Formal Methods: State of the Art and Future Directions - Clarke, Wing (1996)   (Correct)
6327.7   Agent Tcl: A flexible and secure mobile-agent system - Gray (1997)   (Correct)
6130.1   A Guide to Understanding Security Modeling in Trusted Systems - NCSC (1992)   (Correct)
6060.0   Random Sampling from Databases - Olken (1993)   (Correct)
5814.3   ZYPHER - Tailorability as a Link from Object-Oriented Software.. - Demeyer (1996)   (Correct)
5623.9   Varieties of Secure Distributed Computing - Franklin, Yung (1996)   (Correct)
5614.7   Data Mining: An Overview from a Database Perspective - Chen, Han, Yu (1996)   (Correct)
5421.4   Stream Ciphers - Robshaw (1995)   (Correct)
5265.9   Weak-consistency group communication and membership - Golding (1992)   (Correct)
5224.5   Executable Formal Models Of Distributed Transaction Systems Based On.. - Kenney (1996)   (Correct)
4907.5   A Hidden Agenda - Goguen, Malcolm (1997)   (Correct)
4864.7   Report of the Working Group on Storage I/O for Large-Scale Computing - Acm Workshop (1996)   (Correct)
4830.4   ALIEN: A Generalized Computing Model Of Active Networks - Alexander (1998)   (Correct)
4811.2   CS555 Syllabus---Spring 1997 - Ted Faber (1997)   (Correct)
4798.4   Software Agents: A review - Green, Hurst, Nangle, Cunningham.. (1997)   (Correct)
4738.4   CS555 Syllabus-Spring 1998 - Heidemann (1998)   (Correct)
4687.9   CS555 Syllabus---Spring 1998 - John Heidemann (1998)   (Correct)
4679.6   An Annotated Bibliography on Real-Time Database Systems - Ulusoy (1995)   (Correct)
4651.7   Towards a formal definition of security for quantum protocols - Graaf (1997)   (Correct)
4581.8   Architectures for an Event Notification Service Scalable to Wide-area .. - Carzaniga (1998)   (Correct)
4366.8   An Overview of Computer Viruses in a Research Environment - Bishop (1992)   (Correct)
4341.1   Null Values in Object Bases: Pulling Out the Head from the Sand - Subieta, Kambayashi, Leszczylowski.. (1996)   (Correct)
4268.8   Meta-Learning in Distributed Data Mining Systems: Issues and.. - Prodromidis, Chan, al. (2000)   (Correct)
4260.7   Local Anonymity In The Internet - Martin, Jr. (1999)   (Correct)
4236.0   BeeHive: Global Multimedia Database Support for Dependable, Real-Time .. - Stankovic, Son, Liebeherr (1997)   (Correct)
4094.5   Separating Formal Bounds from Practical Performance in Learning.. - Cohn (1992)   (Correct)
4032.7   File System Support for Multimedia Applications - Niranjan (1996)   (Correct)
4000.2   WebOS: Operating System Services for Wide Area Applications - Vahdat (1997)   (Correct)
3924.6   The Design, Implementation, And Evaluation Of Cryptographic.. - Venugopal (1996)   (Correct)
3922.3   Numerical Valuation of High Dimensional Multivariate American.. - Barraquand, Martineau (1994)   (Correct)
3818.2   Overview of Datalog Extensions with Tuples and Sets - Liu (1998)   (Correct)
3813.7   A Quick Glance at Quantum Cryptography - Lomonaco, Jr. (1998)   (Correct)
3732.3   From System F to Typed Assembly Language (Extended Version) - Morrisett, Walker, Crary, Glew (1997)   (Correct)
3707.5   Formal Methods for the Analysis of Authentication Protocols - Rubin, Honeyman (1993)   (Correct)
3660.6   Discrete Logarithms: the Effectiveness of the Index Calculus Method - Schirokauer, Weber, Denny (1996)   (Correct)
3629.0   From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998)   (Correct)
3526.4   A Taxonomy of Security Faults in the Unix Operating System - Aslam (1995)   (Correct)
3496.3   Beyond Best Effort: Router Architectures for the Differentiated.. - Kumar, Lakshman, Stiliadis (1998)   (Correct)
3485.3   Cryptographic Algorithms: Properties, Design And Analysis - Pieprzyk (1996)   (Correct)
3458.5   Classification And Detection Of Computer Intrusions - Kumar (1995)   (Correct)
3454.3   SLIC: An Extensibility System for Commodity Operating Systems - Ghormley, Rodrigues, Petrou, Anderson (1998)   (Correct)
3414.7   Cryptographic Hash Functions: A Survey - Bakhtiari, Safavi-Naini, Pieprzyk (1995)   (Correct)
3406.7   Filesystems for Network-Attached Secure Disks - Gibson, al. (1997)   (Correct)
3395.3   Applying Patterns to Develop Extensible ORB Middleware - Schmidt (1998)   (Correct)
3334.1   Hidden Algebra for Software Engineering - Goguen (1999)   (Correct)
3262.4   A Software Architecture for the Construction and Management of.. - Pratt (1993)   (Correct)
3262.4   Dyad: A System for Using Physically Secure Coprocessors - Tygar, Yee (1991)   (Correct)
3250.9   Market-Based Massively Parallel Internet Computing - Cappello, Christiansen, Neary.. (1997)   (Correct)
3242.0   SPOTT: A Predictable and Scalable Architecture for Autonomous Mobile.. - Zelek, Levine (1998)   (Correct)
3203.3   Number-Theoretic Constructions of Efficient Pseudo-Random Functions - Naor, Reingold (1997)   (Correct)
3169.9   Cryptanalysis Of RSA-Type Cryptosystems: A Visit - Joye, Quisquater (1998)   (Correct)
3169.5   Reliable Multicast Data Delivery For Military Networking - Macker, Klinker, Corson (1996)   (Correct)
3165.6   Campus-Wide Computing: Early Result Using Legion at the University of .. - Grimshaw (1995)   (Correct)
3158.6   Scout: A Communications-Oriented Operating System - Montz, Mosberger, O'Malley.. (1994)   (Correct)
3052.5   Programming Languages for Distributed Applications - Haridi, Van Roy, Brand, Schulte (1998)   (Correct)
3046.6   A Debugger for Standard ML - Tolmach, Appel (1993)   (Correct)
3029.8   Coordination of Scheduling and Allocation Agents (Extended Abstract) - Sjöland, Kreuger, Åström.. (1998)   (Correct)
2997.3   Issues in the Incorporation of Security Services into a Protocol.. - Tripunitara, Spafford   (Correct)
2995.7   Measuring and Optimizing CORBA Latency and Scalability Over.. - Gokhale, Schmidt (1998)   (Correct)
2992.3   The ADAPTIVE Communication Environment: An Object-Oriented Network.. - Schmidt (1993)   (Correct)
2973.7   Local Search for NP-Hard Problems - Frank (1997)   (Correct)
2965.7   A Unifying Theory for Content Self-awareness in Distributed.. - Heather, Rossiter (1997)   (Correct)
2952.8   Cryptographic Limitations on Learning Boolean Formulae and Finite.. - Kearns, Valiant (1989)   (Correct)
2873.2   Managing Multiple Communication Methods in High-Performance Networked .. - Foster, Geisler, Kesselman, Tuecke (1997)   (Correct)
2863.8   Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999)   (Correct)
2860.7   Mobile Objects in Distributed Oz - Van Roy, Haridi, Brand, Smolka.. (1997)   (Correct)
2857.6   Secure Coprocessors in Electronic Commerce Applications - Yee, Tygar (1995)   (Correct)
2830.3   Orca: A Language For Parallel Programming Of Distributed Systems - Bal, Kaashoek, Tanenbaum (1992)   (Correct)
2829.3   Providing Policy-Neutral and Transparent Access Control in Extensible .. - Grimm, Bershad (1998)   (Correct)
2793.6   A Secure Active Network Environment Architecture - Realization in.. - Alexander, Arbaugh, Keromytis, Smith (1998)   (Correct)
2779.1   Extending Statecharts with Temporal Logic - Sowmya, Ramesh (1994)   (Correct)
2774.4   On the Construction of Pseudo-Random Permutations: Luby-Rackoff.. - Naor, Reingold (1997)   (Correct)
2751.9   Security Problems in the TCP/IP Protocol Suite - Bellovin (1989)   (Correct)
2749.2   ICP and the Squid Web Cache - Wessels (1997)   (Correct)
2696.8   Visual Estimation of Structure in Ranked Data - Baggerly (1995)   (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)
2677.5   Robust Permanent Income and Pricing - Hansen, Sargent, Tallarini, Jr. (1997)   (Correct)
2669.1   Challenges and Solutions to Adaptive Computing and Seamless Mobility.. - Bharghavan (1995)   (Correct)
2656.5   Functional Programming and Embedded Systems - Wallace (1995)   (Correct)
2656.4   The Price of Safety in an Active Network - Alexander, Anagnostakis, Arbaugh.. (1999)   (Correct)
2644.6   Efficient Cryptographic Schemes Provably as Secure as Subset Sum - Impagliazzo, Naor (1996)   (Correct)
2633.9   Nonparametric Estimation of American Options Exercise Boundaries and.. - Broadie, Detemple, Ghysels.. (1996)   (Correct)
2633.6   Extensible Security Architectures for Java - Wallach (1997)   (Correct)
2626.2   Run-Time Support and Storage Management for Memory-Mapped Persistent.. - Millard, Dasgupta, Rao, Kuramkote   (Correct)
2577.3   An experience teaching a graduate course in cryptography - Rubin   (Correct)
2562.9   The Basis for Mediation - Wiederhold, Genesereth (1995)   (Correct)
2551.9   Adaptive Kernel Density Estimation - Stephan R. Sain (1994)   (Correct)
2540.2   Semantics-based Multilevel Transaction Management in Federated Systems - Deacon, Schek, Weikum (1993)   (Correct)
2539.3   A Framework for Structuring Group Support in LSDCs - Veríssimo, Vogels, Rodrigues (1993)   (Correct)
2516.0   VINO: An Integrated Platform for Operating System and Database.. - Small, Seltzer (1994)   (Correct)
2508.9   A Reference Model for Firewall Technology - Schuba (1997)   (Correct)
2497.0   A Key Recovery Attack on Discrete Log-based Schemes Using a Prime.. - Lim, Lee (1997)   (Correct)
2466.0   Persistent Foundations for Scalable Multi-Paradigmal Systems - Atkinson (1992)   (Correct)
2464.9   A Formal Semantics for Evaluating Cryptographic Protocols - Yasinsac, Wulf (1993)   (Correct)
2454.4   State in Haskell - Launchbury, Jones (1996)   (Correct)
2449.5   System Performance Advisor: An Expert System For Unix System.. - Hoogenboom (1992)   (Correct)
2443.6   Optimal-Resilience Proactive Public-Key Cryptosystems - Frankel, Gemmell, MacKenzie, Yung (1997)   (Correct)
2439.1   A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1997)   (Correct)
2430.1   Feature-Based Human Face Detection - Kin Choong (1996)   (Correct)
2428.9   Multicast Security and Its Extension to a Mobile Environment - Gong, Shacham (1995)   (Correct)
2427.1   Security Models - McLean (1994)   (Correct)
2422.6   Reflections on Standard ML - MacQueen (1994)   (Correct)
2422.2   Spatial Learning for Robot Localization - Balakrishnan, Honavar (1997)   (Correct)
2411.3   Java Security: Web Browsers and Beyond - Dean, Felten, Wallach, Balfanz (1998)   (Correct)
2408.8   Randomness in Distribution Protocols - Blundo, De Santis, Vaccaro (1994)   (Correct)
2406.5   Compiler Techniques For Matlab Programs - De Rose (1996)   (Correct)
2391.2   Efficient Software-Based Fault Isolation - Wahbe, Lucco, Anderson, Graham (1993)   (Correct)
2388.1   A Programming Interface For Network Resource Management - Takahashi, Steenkiste, Gao, Fisher (1999)   (Correct)
2386.9   An Overview of MOLDS: A Meta-Object Library for Distributed Systems - Oliva, Buzato (1998)   (Correct)
2386.9   Zero-Knowledge Arguments and Public-Key Cryptography - De Santis, Di Crescenzo, Persiano (1995)   (Correct)
2386.3   Transparent Remote Procedure Calls - Abram (1992)   (Correct)
2354.8   Graph Nonisomorphism Has Subexponential Size Proofs Unless The.. - Klivans, van Melkebeek (1998)   (Correct)
2334.3   On the Information Rate of Secret Sharing Schemes - Blundo, De Santis, Gargano, Vaccaro   (Correct)
2331.8   Formulations and Formalisms in Software Architecture - Shaw (1995)   (Correct)
2315.3   Linking ArcView 3.0 and XGobi: Insight Behind the Front End - Jürgen Symanzik, Dianne Cook.. (2000)   (Correct)
2310.6   PrT-net Based Analysis of Information Flow Security Nets - Juopperi (1995)   (Correct)
2298.6   A fair benchmark for image watermarking systems - Kutter, Petitcolas (1999)   (Correct)
2292.9   Platform Requirements of a Real-Time Object-Oriented Database.. - Taina, Elovaara, Niklander.. (1996)   (Correct)
2290.2   Using Multicast FEC to Solve the Midnight Madness Problem - Schooler, Gemmell (1997)   (Correct)
2288.2   Tableau Methods for Formal Verification of Multi-Agent Distributed.. - Massacci (1998)   (Correct)
2286.9   On µ-Kernel Construction - Liedtke (1995)   (Correct)
2281.5   OZ: A Decentralized Process Centered Environment - Ben-Shaul (1993)   (Correct)
2278.2   Primality Testing, Integer Factorization, and Discrete Logarithms - Garefalakis (1998)   (Correct)
2273.3   A Secure and Optimally Efficient Multi-Authority Election Scheme - Cramer, Gennaro, Schoenmakers (1997)   (Correct)
2266.4   Probabilistic Temporal Networks - Santos, Young (1996)   (Correct)
2264.1   A Secure Active Network Environment Architecture - Alexander (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)
2233.7   Architectures and Monitoring Techniques for Active Databases: An.. - Chakravarthy (1992)   (Correct)
2233.4   Fcast Scalable Multicast File Distribution: Caching And Parameter.. - Gemmell, Schooler, Gray (1999)   (Correct)
2222.1   Prudent Engineering Practice for Cryptographic Protocols - Abadi, Needham (1995)   (Correct)
2217.2   A Formal Process Calculus And Execution Model For Distributed Agent.. - Threet (1997)   (Correct)
2214.5   Safety Kernel Enforcement of Software Safety Policies - Wika (1995)   (Correct)
2212.1   Graph Decompositions and Secret Sharing Schemes - Blundo, De Santis, Stinson, Vaccaro (1995)   (Correct)
2207.2   Face Recognition Under Varying Pose - Beymer (1993)   (Correct)
2199.2   A Secure PLAN - Hicks, Keromytis (1999)   (Correct)
2182.1   A Graphical Query Language: VISUAL - Balkir, Ozsoyoglu, Ozsoyoglu (1997)   (Correct)
2180.5   The BeanChannel: Java distributed event model - Kleindienst   (Correct)
2173.2   JRes: A Resource Accounting Interface for Java - Czajkowski, von Eicken (1998)   (Correct)
2165.4   Some New Attacks upon Security Protocols - Lowe (1996)   (Correct)
2161.8   M-Mail: A Case Study of Dynamic Application Partitioning in Mobile.. - Lo (1997)   (Correct)
2158.0   The Reflexive Architecture of Guaraná - Oliva, Garcia, Buzato (1998)   (Correct)
2150.4   A Graphical Icon-Based Query Language - Balkir Sukan   (Correct)
2147.2   The Role of Automated Reasoning in Integrated System Verification.. - Good, Kaufmann, Moore (1992)   (Correct)
2144.5   An Action-Based Logic Of Causality, Knowledge, Permission And.. - MacEwen, Chen, al. (1997)   (Correct)
2137.8   The MobyDick architecture - Ju Ly   (Correct)
2133.7   A comprehensive multimedia control architecture for the Internet - Schulzrinne (1997)   (Correct)
2130.9   Specification-based Test Oracles for Reactive Systems - Richardson, Aha, O'Malley (1992)   (Correct)
2116.0   Building an Interactive Multimedia Information System: The GeoMed.. - Karacapilidis, Gordon, Papadias, Voss (1996)   (Correct)
2106.0   Verifiable Partial Key Escrow - Bellare, Goldwasser (1997)   (Correct)
2105.0   Provable security for block Ciphers by decorrelation - Vaudenay (1998)   (Correct)
2103.5   The Architectural Design of Globe: A Wide-Area Distributed System - van Steen, Homburg, Tanenbaum (1997)   (Correct)
2098.7   Automated Verification of Mobile Code - Dan Lam (1997)   (Correct)
2098.5   Numerical Valuation of High Dimensional Multivariate European.. - Barraquand (1993)   (Correct)
2092.7   Security Properties of Typed Applets - Leroy, Rouaix   (Correct)
2088.7   A Group Signature Scheme Based on an RSA-Variant - Camenisch, Michels (1998)   (Correct)
2087.9   Semantic Interoperation: A Query Mediation Approach - Xiaolei Qian (1994)   (Correct)
2082.3   Fail-Stop Protocols: An Approach to Designing Secure Protocols - Gong, Syverson (1995)   (Correct)
2071.3   Active Disks - Remote Execution for Network-Attached Storage - Riedel, Gibson (1997)   (Correct)
2068.4   Security and Privacy for Partial Order Time - Smith, Tygar (1994)   (Correct)
2066.1   FlexiMine - A Flexible Platform for KDD Research and Application.. - Domshlak, Gershkovich, Gudes.. (1998)   (Correct)
2055.3   The Classification of Hash Functions - Anderson (1993)   (Correct)
2045.9   Adapting Distributed Applications Using Extensible Networks - Scott Thibault (1999)   (Correct)
2044.1   Performance Implications of Securing Active Networks - Alexander, Arbaugh, Keromytis, Smith (1998)   (Correct)
2043.6   An Overview of the PKCS Standards - Kaliski, Jr. (1991)   (Correct)
2042.6   Searching for Elements in Black Box Fields and Applications - Boneh, Lipton (1996)   (Correct)
2041.4   A Quantitative Analysis of Cache Policies for Scalable Network File.. - Michael Dahlin (1994)   (Correct)
2041.2   Improving Release-Consistent Shared Virtual Memory using Automatic.. - Iftode (1996)   (Correct)
2041.0   An Overview of the CORBA Portable Object Adapter - Pyarali, Schmidt (1998)   (Correct)
2040.8   The Caelum Toolkit for CSCW: The Sky is the Limit - Anker, Chockler, Dolev, Keidar (1997)   (Correct)
2040.1   Fast Algorithms for Finding Randomized Strategies in Game Trees - Koller, Megiddo, von Stengel (1994)   (Correct)
2027.4   Proactive Public Key and Signature Systems - Herzberg, Jakobsson, Jarecki.. (1997)   (Correct)
2026.4   Robust and Efficient Sharing of RSA Functions - Gennaro, Jarecki, Krawczyk, Rabin (1996)   (Correct)
2025.7   Catastrophic Risk Evaluation - Ekenberg, al. (1997)   (Correct)
2018.8   C++ Wrappers for Efficient, Portable, and Flexible Network Programming - Schmidt   (Correct)
2012.1   Consistency Algorithms for Multi-Source Warehouse View Maintenance - Yue Zhuge (1998)   (Correct)
2011.3   A Scheduling Service Model and a Scheduling Architecture for an.. - Shenker, Clark, Zhang (1993)   (Correct)
2007.7   Wide-Area Implementation of the Message Passing Interface - Foster, Geisler, Gropp, Karonis.. (1998)   (Correct)
2005.9   Issues in the Design of an Extensible Operating System - Savage, Bershad (1994)   (Correct)
2000.4   Extending the Operating System at the User Level: the Ufo Global File .. - Alexandrov, Ibel, Schauser, Scheiman (1997)   (Correct)
1998.7   The SwitchWare Active Network Implementation - Alexander, Hicks, Kakkar, Keromytis, .. (1998)   (Correct)

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