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

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Reverse date order

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.

Meta-Learning in Distributed Data Mining Systems: Issues and.. - Prodromidis, Chan, al. (2000)   (Correct)
Linking ArcView 3.0 and XGobi: Insight Behind the Front End - Jürgen Symanzik, Dianne Cook.. (2000)   (Correct)
A Java Application Framework for Agent Based Systems - Kendall, Krishna, Pathak, Suresh (2000)   (Correct)
Design Techniques for Low Power Systems - Havinga, Smit (2000)   (Correct)
Fast Sets and Points for Fractional Brownian Motion - Khoshnevisan, Shi (2000)   (Correct)
The Effect of Network Hierarchy Structure on Performance of ATM PNNI.. - Baruch Awerbuch (2000)   (Correct)
VSE: Formal Methods Meet Industrial Needs - Autexier, Hutter, Langenstein.. (2000)   (Correct)
Design of The DOE2000 Electronic Notebook - Lbnl Components (2000)   (Correct)
Local Anonymity In The Internet - Martin, Jr. (1999)   (Correct)
Hidden Algebra for Software Engineering - Goguen (1999)   (Correct)
Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999)   (Correct)
The Price of Safety in an Active Network - Alexander, Anagnostakis, Arbaugh.. (1999)   (Correct)
Robust Permanent Income and Pricing - Hansen, Sargent, Tallarini, Jr. (1999)   (Correct)
A Programming Interface For Network Resource Management - Takahashi, Steenkiste, Gao, Fisher (1999)   (Correct)
A fair benchmark for image watermarking systems - Kutter, Petitcolas (1999)   (Correct)
Fcast Scalable Multicast File Distribution: Caching And Parameter.. - Gemmell, Schooler, Gray (1999)   (Correct)
A Secure PLAN - Hicks, Keromytis (1999)   (Correct)
Adapting Distributed Applications Using Extensible Networks - Scott Thibault (1999)   (Correct)
Static Analysis of Processes for No Read-Up and No Write-Down - Bodei, Degano, Nielson, Nielson (1999)   (Correct)
Improving Simulation for Network Research - Bajaj, Breslau, Estrin, Fall, Floyd, .. (1999)   (Correct)
Efficient Concurrency Control for Broadcast Environments - Shanmugasundaram, Nithrakashyap.. (1999)   (Correct)
Efficient Support for P-HTTP in Cluster-Based Web Servers - Aron, Druschel, Zwaenepoel (1999)   (Correct)
Implementing Lottery Scheduling: Matching the Specializations in.. - Petrou, Gibson (1999)   (Correct)
Safe Simplifying Transformations for Security Protocols or Not Just.. - Hui, Lowe (1999)   (Correct)
A Taxonomy of Active Code - Scott Alexander (1999)   (Correct)
New Public Key Cryptosystems based on the Dependent-RSA Problems - Pointcheval (1999)   (Correct)
Defending Against Denial of Service Attacks in Scout - Spatscheck, Peterson (1999)   (Correct)
Certifying Compilation and Run-time Code Generation - Hornof, Jim (1999)   (Correct)
Comparing Entropies in Statistical Zero Knowledge with Applications.. - Goldreich, Vadhan (1999)   (Correct)
Lowering Security Overhead in Link State Routing - Hauser (1999)   (Correct)
Taxonomy and Design Analysis for Distributed Web Caching - Sandra Dykes (1999)   (Correct)
Scalable Coordination in Sensor Networks - Estrin, Govindan, Heidemann (1999)   (Correct)
Equational Properties of Mobile Ambients - Andrew Gordon (1999)   (Correct)
Flexible Policy-Directed Code Safety - Evans (1999)   (Correct)
Practical Threshold Signatures - Shoup (1999)   (Correct)
A Formal Framework and Evaluation Method for Network Denial of Service - Meadows (1999)   (Correct)
An Adaptable Network COntrol and Reporting System (ANCORS) - Livio Ricciulli (1999)   (Correct)
Secure Hash-and-Sign Signatures without the Random Oracle - Gennaro, Halevi, Rabin (1999)   (Correct)
A Parallel Relational Database Management System Approach to.. - Lundquist, Frieder, Grossman, Holmes (1999)   (Correct)
Mod n Cryptanalysis, with Applications Against RC5P and M6 - Kelsey, Schneier, Wagner (1999)   (Correct)
Testing For Fault Tolerance - Ghosh, Mathur (1999)   (Correct)
COBS: Qualitatively Constrained Smoothing via Linear Programming - Xuming He (1999)   (Correct)
Mobile Computations and Hostile Hosts - Vitek, Castagna (1999)   (Correct)
The PURE Family of Object-Oriented Operating Systems for Deeply.. - Beuche, Guerrouat, al. (1999)   (Correct)
Transport Layer Security: How much does it really cost? - Apostolopoulos, Peris, Saha (1999)   (Correct)
Chunks in PLAN: Language Support for Programs as Packets - Moore, Hicks, Nettles (1999)   (Correct)
CAPSL Interface for the NRL Protocol Analyzer - Brackin, Meadows, Millen (1999)   (Correct)
Detecting Intrusions Using System Calls: Alternative Data Models - Christina Warrender (1999)   (Correct)
A Bayesian Approach To Spread Spectrum Watermark Detection and Secure .. - Ruanaidh, Csurka (1999)   (Correct)
Computing Discrete Logarithms in High-Genus Hyperelliptic Jacobians.. - Enge (1999)   (Correct)
Key Management for Secure Internet Multicast using Boolean Function.. - Isabella Chang (1999)   (Correct)
Serpent and Smartcards - Anderson, Biham, Knudsen (1999)   (Correct)
Reflective Authorization Systems: Possibilities, Benefits, and.. - Ancona, Cazzola, Fernandez (1999)   (Correct)
Multi-Language Programming Environments for High Performance Java.. - Getov (1999)   (Correct)
Static Hedging of Timing Risk - Carr (1999)   (Correct)
A Model of Noninterference for Integrating Mixed-Criticality Software .. - Dutertre, Stavridou (1999)   (Correct)
Defining Information Flow - Lowe (1999)   (Correct)
EMP - A Database-Driven Electronic Market Place for.. - Boll, Grüner, Haaf, Klas (1999)   (Correct)
Template Based Recovery of Fourier-Based Watermarks Using Log-polar.. - Pereira, Ruanaidh, Deguillaume (1999)   (Correct)
Computational Indistinguishability: A Sample Hierarchy - Oded Goldreich (1999)   (Correct)
Numerical Relativity in a Distributed Environment - Benger, Foster, Novotny, Seidel.. (1999)   (Correct)
What can Java Binary Compatibility mean? - Drossopoulou, Eisenbach, Wragg (1999)   (Correct)
ARGUS: An Automated Multi-Agent Visitor Identification System - Sukthankar, Stockton (1999)   (Correct)
Building Intrusion Tolerant Applications - Wu, Malkin, Boneh (1999)   (Correct)
Design and Implementation of Runtime Reflection in Communication.. - Roman, Kon, Campbell (1999)   (Correct)
Performance Assessment Of Morphological Dynamic Link Architecture.. - Kotropoulos, Tefas, Pitas.. (1999)   (Correct)
Real-Time Intrusion Detection and Suppression in ATM Networks - Bettati Zhao (1999)   (Correct)
Importance Sampling in the Heath-Jarrow-Morton Framework - Glasserman (1999)   (Correct)
Key Management for Restricted Multicast using Broadcast Encryption - Abdalla, Shavitt, Wool (1999)   (Correct)
A Role Based Access Control Model and Reference Implementation within .. - Ferraiolo, Barkley, Kuhn (1999)   (Correct)
Recognition of Strings Using Nonstationary Markovian Models: An.. - Bouchaffra, Govindaraju, Srihari (1999)   (Correct)
Local Reconfiguration Policies - Jonathan Millen (1999)   (Correct)
Formal Development of Secure Email - Zhou, Kuo, Older, Chin (1999)   (Correct)
Experience with EMERALD to Date - Neumann (1999)   (Correct)
A Necessarily Parallel Attack - Millen (1999)   (Correct)
Active Virtual Network Management Protocol - Stephen Bush (1999)   (Correct)
Inoculating Software for Survivability - Ghosh, Voas (1999)   (Correct)
Towards Making Broadcast Encryption Practical - Abdalla, Shavitt, Wool (1999)   (Correct)
Daugman - Daugman (1999)   (Correct)
Shaping a CBR view with XML - Conor Hayes (1999)   (Correct)
Designing Responsive and Deliberative Automated Negotiators - Faratin Qmw (1999)   (Correct)
Privacy Interfaces for Information Management - Lau, Etzioni, Weld (1999)   (Correct)
Supporting Automatic Configuration of Component-Based Distributed.. - Kon, Campbell (1999)   (Correct)
Group Signatures a la carte - Ateniese, Tsudik (1999)   (Correct)
SOBER: A Stream Cipher based on Linear Feedback over GF(2 g ) - Rose (1999)   (Correct)
Cryptanalysis of NTRU - May (1999)   (Correct)
Onion Routing for Anonymous and Private Internet Connections - Goldschlag, Reed, Syverson (1999)   (Correct)
Consistent yet Anonymous Web Access with LPWA - Eran Gabber (1999)   (Correct)
Helping Data Suppliers and Consumers Negotiate the Details: A.. - Arnon Rosenthal (1999)   (Correct)
Modelling Agents' Knowledge Inductively - Bella (1999)   (Correct)
SaveMe: A system for Archiving Electronic Documents Using Messaging.. - Berchtold (1999)   (Correct)
Web Server QoS Management by Adaptive Content Delivery - Abdelzaher, Bhatti (1999)   (Correct)
A Combinatorial Problem in Database Security - Peter Horak (1999)   (Correct)
PLANet: An Active Internetwork - Michael Hicks (1999)   (Correct)
XM2VTSDB: The Extended M2VTS Database - Messer, Matas, Kittler, Lüttin.. (1999)   (Correct)
Using Signcryption to Build Compact and Efficient Protocols for.. - Zheng (1999)   (Correct)
Spot and Derivative Markets in Admission Control - Lazar, Semret (1999)   (Correct)
Practical Architectures for Survivable Systems and Networks.. - Neumann (1999)   (Correct)
Synchronizing Clipboards of Multiple Computers - Robert Miller (1999)   (Correct)
Morphological Elastic Graph Matching applied to frontal face.. - Kotropoulos Tefas (1999)   (Correct)
Design Issues for Mixed-Initiative Agent Systems - Hartrum, DeLoach (1999)   (Correct)
PVS Bibliography - Rushby (1998)   (Correct)
ALIEN: A Generalized Computing Model Of Active Networks - Alexander (1998)   (Correct)
CS555 Syllabus-Spring 1998 - Heidemann (1998)   (Correct)
CS555 Syllabus---Spring 1998 - John Heidemann (1998)   (Correct)
Architectures for an Event Notification Service Scalable to Wide-area .. - Carzaniga (1998)   (Correct)
Overview of Datalog Extensions with Tuples and Sets - Liu (1998)   (Correct)
A Quick Glance at Quantum Cryptography - Lomonaco, Jr. (1998)   (Correct)
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998)   (Correct)
Beyond Best Effort: Router Architectures for the Differentiated.. - Kumar, Lakshman, Stiliadis (1998)   (Correct)
SLIC: An Extensibility System for Commodity Operating Systems - Ghormley, Rodrigues, Petrou, Anderson (1998)   (Correct)
Applying Patterns to Develop Extensible ORB Middleware - Schmidt (1998)   (Correct)
SPOTT: A Predictable and Scalable Architecture for Autonomous Mobile.. - Zelek, Levine (1998)   (Correct)
Cryptanalysis Of RSA-Type Cryptosystems: A Visit - Joye, Quisquater (1998)   (Correct)
Programming Languages for Distributed Applications - Haridi, Van Roy, Brand, Schulte (1998)   (Correct)
Coordination of Scheduling and Allocation Agents (Extended Abstract) - Sjöland, Kreuger, Åström.. (1998)   (Correct)
Measuring and Optimizing CORBA Latency and Scalability Over.. - Gokhale, Schmidt (1998)   (Correct)
Providing Policy-Neutral and Transparent Access Control in Extensible .. - Grimm, Bershad (1998)   (Correct)
A Secure Active Network Environment Architecture - Realization in.. - Alexander, Arbaugh, Keromytis, Smith (1998)   (Correct)
Java Security: Web Browsers and Beyond - Dean, Felten, Wallach, Balfanz (1998)   (Correct)
An Overview of MOLDS: A Meta-Object Library for Distributed Systems - Oliva, Buzato (1998)   (Correct)
Graph Nonisomorphism Has Subexponential Size Proofs Unless The.. - Klivans, van Melkebeek (1998)   (Correct)
Tableau Methods for Formal Verification of Multi-Agent Distributed.. - Massacci (1998)   (Correct)
Primality Testing, Integer Factorization, and Discrete Logarithms - Garefalakis (1998)   (Correct)
A Secure Active Network Environment Architecture - Alexander (1998)   (Correct)
Satisfying Multiple Constraints in Real-Time Database Systems - Ahmed (1998)   (Correct)
JRes: A Resource Accounting Interface for Java - Czajkowski, von Eicken (1998)   (Correct)
The Reflexive Architecture of Guaraná - Oliva, Garcia, Buzato (1998)   (Correct)
Provable security for block Ciphers by decorrelation - Vaudenay (1998)   (Correct)
A Group Signature Scheme Based on an RSA-Variant - Camenisch, Michels (1998)   (Correct)
FlexiMine - A Flexible Platform for KDD Research and Application.. - Domshlak, Gershkovich, Gudes.. (1998)   (Correct)
Performance Implications of Securing Active Networks - Alexander, Arbaugh, Keromytis, Smith (1998)   (Correct)
An Overview of the CORBA Portable Object Adapter - Pyarali, Schmidt (1998)   (Correct)
Consistency Algorithms for Multi-Source Warehouse View Maintenance - Yue Zhuge (1998)   (Correct)
Wide-Area Implementation of the Message Passing Interface - Foster, Geisler, Gropp, Karonis.. (1998)   (Correct)
The SwitchWare Active Network Implementation - Alexander, Hicks, Kakkar, Keromytis, .. (1998)   (Correct)
Secure Mediation: Requirements and Design - Biskup, Flegel, Karabulut (1998)   (Correct)
An Infrastructure for Building Distributed Services - John Carter (1998)   (Correct)
Feature Subset Selection Using A Genetic Algorithm - Yang, Honavar (1998)   (Correct)
Integrating Obstacles in Goal-Driven Requirements Engineering - van Lamsweerde, Letier (1998)   (Correct)
Efficient Communication Strategies for Ad-Hoc Wireless Networks - Adler, Scheideler (1998)   (Correct)
Watermarking Schemes and Protocols For Protecting Rightful Ownership.. - Qiao, al (1998)   (Correct)
Secure and Scalable Replication in Phalanx - Malkhi, Reiter (1998)   (Correct)
Hiding Cliques for Cryptographic Security - Juels, Peinado (1998)   (Correct)
A Clausal Logic for Deontic Action Specification (Extended Abstract) - van der Meyden (1998)   (Correct)
Practical and proven zero-knowledge constant round variants of GQ and .. - Desmedt, Kurosawa (1998)   (Correct)
Intrusion Detection using Sequences of System Calls - Hofmeyr, Forrest, Somayaji (1998)   (Correct)
A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell, Mitchell, Scedrov (1998)   (Correct)
Efficient Protocols for Signing Routing Messages - Zhang (1998)   (Correct)
From Organization Models to System Requirements - A "Cooperating.. - Yu, Bois, Dubois, Mylopoulos (1998)   (Correct)
Data-Security in Heterogeneous Agent Systems - Bonatti, Kraus, Salinas, Subrahmanian (1998)   (Correct)
PLAN: A Packet Language for Active Networks - Hicks (1998)   (Correct)
Performance Analysis of Communication Systems Formally Specified in.. - Steppler (1998)   (Correct)
Transparent Communication Management in Wireless Networks - Kidston (1998)   (Correct)
Integrating Java-based Mobile Agents into Web Servers under Security.. - Fünfrocken (1998)   (Correct)
Management Information Base (MIB) Extensions for Asynchronous.. - Cekro (1998)   (Correct)
Secure Information Flow in a Multi-threaded Imperative Language - Smith, Volpano (1998)   (Correct)
From Unpredictability to Indistinguishability: A Simple Construction.. - Naor, Reingold (1998)   (Correct)
Compiling Standard ML to Java Bytecodes - Benton, Kennedy, Russell (1998)   (Correct)
Consh: Confined Execution Environment for Internet Computations - Albert Alexandrov (1998)   (Correct)
Using State Space Exploration and a Natural Deduction Style Message.. - Clarke, Jha, Marrero (1998)   (Correct)
Transformer Tunnels: A Framework for Providing Route-Specific.. - Sudame, Badrinath (1998)   (Correct)
A Sound Polymorphic Type System for a Dialect of C - Smith, Volpano (1998)   (Correct)
Trust and Partial Typing in Open Systems of Mobile Agents - Riely, Hennessy (1998)   (Correct)
The Design and Implementation of a Certifying Compiler - Necula, Lee (1998)   (Correct)
Group Communication in Partitionable Systems: Specification and.. - Babaoglu, Davoli, Montresor (1998)   (Correct)
Robust State Sharing for Wide Area Distributed Applications - Topol, Ahamad, Stasko (1998)   (Correct)
Temporal Sequence Learning and Data Reduction for Anomaly Detection - Lane (1998)   (Correct)
An Architecture for Reusable Libraries - Vo (1998)   (Correct)
Advances in Cooperative Multi-Sensor Video Surveillance - Kanade, Collins, Lipton, al. (1998)   (Correct)
Resource Bounded Measure and Learnability - Lindner, Schuler, Watanabe (1998)   (Correct)
A Metaobject Architecture for Fault Tolerant Distributed Systems: The .. - Fabre, Pérennou (1998)   (Correct)
How to Coordinate Internet Applications based on Mobile Agents - Cabri, Leonardi, Zambonelli (1998)   (Correct)
A Bisimulation Method for Cryptographic Protocols - Abadi, Gordon (1998)   (Correct)
The CRISIS Wide Area Security Architecture - Belani, Vahdat, Anderson, Dahlin (1998)   (Correct)
Router Plugins: A Modular and Extensible Software Framework for.. - Decasper, Dittia, Parulkar, Plattner (1998)   (Correct)
Optimistic Fair Exchange of Digital Signatures - Asokan, Shoup, Waidner (1998)   (Correct)
Concurrent Zero-Knowledge: Reducing the Need for Timing Constraints - Dwork, Sahai (1998)   (Correct)
Locality-Aware Request Distribution in Cluster-based Network Servers - Pai (1998)   (Correct)
Data Mining Approaches for Intrusion Detection - Lee, Stolfo (1998)   (Correct)
Component Based Design of Multitolerance - Arora, Kulkarni (1998)   (Correct)
TCP/IP Implementation with Endsystem QoS - Shi, Parulkar, Gopalakrishnan (1998)   (Correct)
Public-key cryptography and password protocols - Halevi, Krawczyk (1998)   (Correct)
An Approach to Large-Scale Collection of Application Usage Data Over.. - Hilbert, Redmiles (1998)   (Correct)
Real-Time Active Visual Surveillance by Integrating Peripheral Motion .. - Batista, Peixoto, Araújo (1998)   (Correct)
Characterizing Coordination Architectures According to Their.. - Issarny, Bidan, Saridakis (1998)   (Correct)
Algorithm Visualization For Distributed Environments - Moses, Polunsky, Tal, Ulitsky (1998)   (Correct)
On the Role of Inter-Component Dependence in Supporting Automatic.. - Kon, Campbell (1998)   (Correct)
Agent Trustworthiness - Kassab, Voas (1998)   (Correct)
Application Experiences with the Globus Toolkit - Brunett, Czajkowski, Fitzgerald.. (1998)   (Correct)
Digital Signatures for Flows and Multicasts - Wong, Lam (1998)   (Correct)

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