IEEE Cipher: Conference security papers list archive/title> </head> <body> The 8th USENIX Security Symposium, August 23-26, 1999, Washington, USA: <ul> <li> The Design and Analysis of Graphical Passwords. I. Jermyn, A. Mayer, F. Monrose, M. Reiter and A. Rubin <li>Hand-Held Computers Can Be Better Smart Cards. D. Balfanz and E. Felten <li>Offline Delegation. A. Helme and T. Stabell-Kulx <li>Vaulted VPN: Compartmented Virtual Private Networks on Trusted Operating Systems.<br> T.-H. Choo <li>Enforcing Well-Formed and Partially Formed Transactions for UNIX. D. Povey <li>Synthesizing Fast Intrusion Prevention/Detection Systems from High-Level Specifications.<br> R. Sekar and P. Uppuluri <li>Building Intrusion-Tolerant Applications. T. Wu, M. Malkin and D. Boneh <li>Brute Force Attack on UNIX Passwords with SIMD Computer. G. Kedem and Y. Ishihara <li>Antigone: A Flexible Framework for Secure Group Communication. P. McDaniel, A. Prakash and P. Honeyman <li>A Secure Station for Network Monitoring and Control. V. Prevelakis <li>The Flask Security Architecture: System Support for Diverse Security Policies. R. Spencer, S. Smalley, P. Loscocco, M. Hibler, D. Andersen and J. Lepreau <li>A Study in Using Neural Networks for Anomaly and Misuse Detection. A. Ghosh and A. Schwartzbard <li>The Design of a Cryptographic Security Architecture. P. Gutmann <li>Why Johnny Can't Encrypt: A Usability Evaluation of PGP 5.0. A. Whitten and J. Tygar <li>Jonah: Experience Implementing PKIX Reference Freeware. M. Zurko, J. Wray, I. Morrison, M. Shanzer, M. Crane, P. Booth, E. McDermott, W. Macek, A. Graham, J. Wade and T. Sandlin <li>Scalable Access Control for Distributed Object Systems. D. Sterne, G. Tally, C. McDonell, D. Sherman, D. Sames, P. Pasturel and E. John Sebes <li>Certificate-based Access Control for Widely Distributed Resources. M. Thompson, W. Johnston, S. Mudumbai, G. Hoo, K. Jackson and A. Essiari <li>Digital-Ticket-Controlled Digital Ticket Circulation. K. Fujimura, H. Kuno, M. Terada, K. Matsuyama, Y. Mizuno and J. Sekine </ul> DEXA'99 Workshop on Electronic Commerce and Security, September 2, 1999, Florence, Italy:<br> [Security-related papers only] <ul> <li> IT/Security in Electronic Commerce: From Cost to Value Driver.<br> R. Holbein and T. Gaugle <li>A Secure Payment System for Electronic Commerce.<br> I. Mavridis, G. Pangalos and S. Muftic <li>Coordination between security levels for Internet architectures.<br> E. Fernandez <li>Batching Proofs of Knowledge and its Applications.<br> K. Nguyen, V. Varadharajan and Y. Mu <li>Efficient Detection of Failure Modes in Electronic Commerce Protocols.<br> S. Gurgens, J. Lopez-Munoz and R. Peralta <li>Multi-Party Fair Exchange with an Off-Line Trusted Neutral Party.<br> V. Varadharajan <li>Non-repudiation in An Agent-Based E-Commerce System.<br> C.-C. Liew, W.-K. Ng, E.-P. Lim, B.-S. Tan and K.-L. Ong <li>Controlling the Dissemination of Electronic Documents.<br> V. Prevelakis, D. Konstantas and J.-H. Morin <li>NIGE Log - A method of protecting logging information which takes account of its deletion.<br> T. Takada and H. Koike </ul> New Security Paradigms Workshop 1999, September 22-24, 1999, Ontario, Canada: <ul> <li> Secure Dynamic Adaptive Traffic Masking.<br> B. Timmerman <li>Security Architecture-Based System Design.<br> E. Schneider <li>Survivability --- A New Technical and Business Perspective on Security.<br> H. Lipson and D. Fisher <li>Optimistic Security: A New Access Control Paradigm.<br> D. Povey <li>Security Architecture Development and its Role in the Seat Management and Total Cost of Ownership Environments.<br> R. Henning <li>Cursory Examination of Market Forces Driving the Use of Protection Profiles.<br> K. Olthoff <li>Paradigm Shifts in Protocol Analysis.<br> S. Pancho <li>Secure Group Management in Large Distributed Systems.<br> J. Michael and J. McHugh <li>SASI Enforcement of Security Policies: A Retrospective.<br> U. Erlingsson and F. Schneider <li>Security Modeling in the Commercial Off The Shelf Environment.<br> T. Markham, M. Denz and D. Colby <li>On the Functional Relation between Security and Dependability Impairments.<br> L. Stromberg, E. Jonsson and S. Lindskog <li>Securing Information Transmission by Redundancy.<br> J. Li, P. Reiher and G. Popek </ul> SAFECOMP'99 - 18th International Conference on Computer Safety, Reliability and Security,<br> September 27-29, Toulouse, France:<br> [Security-related papers only] <ul> <li> On Formal Languages for Sequences of Authorization Transformations.<br> Y. Bai and V. Varadharajan <li>Dependability Requirements and Security Architectures for the Healthcare/Medical Sector.<br> G. Trouessin <li>Three-Pass Hybrid Key Establishment Protocol based on ESIGN Signature.<br> S. Lee and T. Kim <li>Integration of Safety and Security Requirements.<br> D. Eames and J. Moffett </ul> 7th Annual Working Conference on Information Security Management and Small Systems Security, September 30-October 1, 1999, Amsterdam, Netherlands: <ul> <li>A protocol improvement for high-bandwidth encryption using non-encrypting smart cards.<br> R. Weis <li>Real-time risk analysis on the Internet: a prototype.<br> H. Venter, L. Labuschagne and J. Eloff <li>A practical approach to manage data communication security.<br> P. Samwel and M. Spruit <li>The future of Australian & New Zealand security standard AS/NZ 4444?<br> M. Warren and B. Hutchison <li>The effective utilization of audit logs in information security management.<br> W. Olivier and R. von Solms <li>An approach to standardizing security analysis methods for virtual systems.<br> A. Frisinger and L. Yngstrom <li>Information security at top level - Securometer. streamlines management information.<br> A. Buren, B. van der Meer, A. Shahim, W. Barnhoorn and E. Lindgreen <li>Risk analysis on Internet connection.<br> P. Samwel and M. Spruit <li>A secure station for network monitoring and control.<br> V. Prevelakis <li>Security aspects of a Java-servlet-based web-hosted e-mail system.<br> E. Hepworth and U. Ultes-Nitsche <li>Time and security in smart cards.<br> V. Cordonnier, S. Nemchenko and A. Watson <li>The Intranet authorization paradigm.<br> M. Vandenwauver, P. Ashley and G. Gaskell </ul> MASCOTS'99 - 7th International Symposium on Modeling, Analysis and Simulation,<br> October 24-28, 1999, College Park, Maryland, USA:<br> [Security-related papers only] <ul> <li>An Experimental Analysis of Cryptographic Overhead in Embedded Systems.<br> W. Freeman and E. Miller <li>Model Checking the Secure Electronic Transaction (SET) Protocol.<br> S. Lu and S. Smolka </ul> COMPSAC'99 - 23rd Annual International Computer Software and Applications Conference,<br> October 27-29, 1999, Phoenix, Arizona, USA:<br> [Security-related papers only] <ul> <li>A Protocol and Simulation for Distributed Communicating Firewalls.<br> R. Smith and S. Bhattacharya <li>Mobile Agents protection in the Internet Environment.<br> A. Corradi, R. Montanari and C. Stefanelli <li>Computer Network Intrusion Detection, Assessment and Prevention Based on Security Dependency Relation.<br> S. Yau and X. Zhang </ul> WELCOM'99 - International Workshop on Electronic Commerce<br> (in conjunction with the 18th IEEE Symposium on Reliable Distributed Systems), October 19, 1999, Lausanne, Switzerland:<br> [Security-related papers only] <ul> <li> Approaching a Formal Definition of Fairness in Electronic Commerce.<br> F. Gartner, H. Pagina and H. Vogt <li>Authorization Methods for e-Commerce Applications.<br> R. Oppliger <li>Gateways to Overcome Incompatibilities of Security Mechnisms.<br> J. Zollner <li>Security Mechanisms for Using Mobile Agents in Electronic Commerce.<br> P. Marques, L. Silva and J. Silva <li>Accountable Anonymous Service Usage in Mobile Communication Systems.<br> L. Buttyan and J.-P. Hubaux </ul> IEEE/IFIP IWQoS '99 - Seventh International Workshop on Quality of Service,<br> London, UK, June 1-4, 1999:<br> [Security-related paper only] <ul> <li>Securing QoS: Threats to RSVP Messages and Their Countermeasures.<br> T.-L. Wu, S. Felix Wu, Z. Fu, H. Huang and F. Gong </ul> WISE1 - IFIP WG 11.8 1st World Conference on Information Security Education,<br> Stockholm, Sweden, June 17-19, 1999: <ul> <li>Incorporating Security Issues Throughout the Computer Science Curriculum.<br> G. White and W. Marti <li>The Reference Monitor Concept as a Unifying Principle in Computer Security Education.<br> C. Irvine <li>Personnel Training in the Field of Information Security Maintenance.<br> A. Maljuk and A. Tolstoi <li>IT related Ethics Education in Southern Africa -- Now and Then.<br> L. Drevin <li>Data Protection in Healthcare and Welfare - Education of Data Protection Officials in Germany.<br> B. Blobel and P. Pharow <li>A Mix-Demonstrator for Teaching Security in the Virtual University.<br> U. Jendricke and K. Rannenberg <li>On the Experience of Creating the Electronic Tutorial "Vulnerability and Protection Methods in the Global Internet Network" in Moscow State Engineering Physics Institute for Education of IT-Security Professionals.<br> N. Miloslavskaia and A. Tolstoi <li>Information Security Best Practice Dissemination - The ISA-EUNET Approach.<br> D. Spinellis and D. Gritzalis <li>IT Security Research and Education in Synergy.<br> S. Lindskog, U. Lindqvist and E. Johnsson <li>Developing and Undergraduate Lab for Information Warfare and Computer Security.<br> G. White and R. Sward <li>Internet Groupware Use in a Policy-Oriented Education.<br> R. Baskerville and D. Straub <li>Teaching Computer Security - The Art of Practical Application.<br> H. Fillery-James <li>Some Aspects of Cryptology Teaching.<br> D. Olejar and M. Stanek <li>Explaining Cryptographic Systems to the General Public.<br> T. Bell, H. Thimbley, M. Fellows, I. Witten and N. Koblitz <li>Approaching the Concept of IT-Security for young Users.<br> K. Nackros <li>Introducing IT-Security Awareness in Schools: the Greek Case.<br> A. Bintziou, N. Alexandris and V. Chrissikopoulos <li>Hands-on cryptography.<br> H. Thimberly <li>Making Information Security Awareness and Training more Effective.<br> M. Thomson <li>The Value and Assessment of Information Security Education and Training.<br> L. Yngstrom and F. Bjorck <li>The Manual is the Message: An Experiment with Paper-based and Web-based IT Security Manuals.<br> S. Kowalski, H. Nassla, J. Karlsson and V. Karlsson </ul> INET'99, San Jose, California, USA, June 22-25, 1999:<br> [Security-related papers only] <ul> <li>Copyright Information Management: A Design and Implementation of a New Protocol Architecture.<br> Y. Murakami, K. Okawa and J. Murai <li>Pequi: A PKIX Implementation for Secure Communication.<br> A. Silva and M. Stanton <li>A Method of Tracing Intruders by Use of Mobile Agents.<br> M. Asaka, S. Okazawa, A. Taguchi and S. Goto <li>Security Assessment of IP-Based Networks: A Holistic Approach.<br> M. Tripunitara and P. Dutta </ul> CSFW99 - 12th IEEE Computer Security Foundations Workshop,<br> June 28-30, 1999, Mordano, Italy: <ul> <li>A Formal Framework and Evaluation Method for Network Denial of Service.<br> C. Meadows <li>I/O Automaton Models and Proofs of Shared-Key Communications Systems.<br> N. Lynch <li>Safe Simplifying Transformations for Security Protocols.<br> M. Hui and G. Lowe <li>Decision procedures for the analysis of cryptographic protocols by logics of belief.<br> D. Monniaux <li>A meta-notation for protocol analysis.<br> I. Cervesato, N. Durgin, P. Lincoln, J. Mitchell and A. Scedrov <li>Mixed Strand Spaces.<br> F. Fabrega, J. Herzog and J. Guttman <li>Honest Functions and their Application to the Analysis.<br> A. Maneki <li>Authentication via localized names.<br> C. Bodei, P. Degano, R. Focardi and C. Priami <li>A Logic for SDSI's Linked Local Name Spaces.<br> J. Halpern and R. van der Meyden <li>Trusted System Construction.<br> C. O'Halloran <li>Secure Composition of Insecure Components.<br> P. Sewell and J. Vitek <li>Security Function Interactions.<br> P. Bieber <li>A Logic-based Knowledge Representation for Authorization with Delegation.<br> N. Li, J. Feigenbaum and B. Grosof <li>Logical Framework for Reasoning on Data Access Control.<br> E. Bertino, F. Buccafurri, E. Ferrari and P. Rullo <li>Athene, a new automatic checker for analysis of security protocols.<br> D. Song <li>CVS: A Compiler for the Analysis of Cryptographic Protocols.<br> A. Durante, R. Focardi and R. Gorrieri <li>Process Algebra and Non-interference.<br> P. Ryan and S. Schneider <li>What is intransitive noninterference?<br> A. Roscoe and M. Goldsmith </ul> IWAN'99 - The First International Working Conference on Active Networks,<br> Berlin, Germany, June 30 - July 2, 1999:<br> [Security-related papers only] <ul> <li>A Secure Plan.<br> M. Hicks and A. Keromytis <li>Control on Demand.<br> G. Hjalmtysson and S. Bhattacharjee <li>Agent-based Security for the Active Network Infrastructure.<br> S. Karnouskos, I. Busse and S. Covaci </ul> LICS'99 - 14th Annual IEEE Symposium on Logic in Computer Science,<br> Trento, Italy, July 2-5, 1999:<br> [Security-related papers only] <ul> <li>Towards a Theory of Bisimulation for Local Names<br> A. Jeffrey and J. Rathke <li>Weak Bounded Arithmetic, the Diffie-Hellman Problem and Constable's Class K<br> J. Johannsen <li>Non-deterministic Games and Program Analysis: An application to security.<br> P. Malacaria and C. Hankin <li>Proof techniques for Cryptographic Processes.<br> M. Boreale, R. De Nicola and R. Pugliese </ul> LICS'99 Workshop on Formal Methods and Security Protocols,<br> Trento, Italy, July 5, 1999: <ul> <li>CAPSL Intermediate Language.<br> G. Denker and J. Millen <li>Analyzing a Library of Security Protocols using Casper and FDR.<br> B. Donovan, P. Norris and G. Lowe <li>Undecidability of Bounded Security Protocols.<br> N. Durgin, P. Lincoln, J. Mitchell and A. Scedrov <li>Towards the Formal Verification of Ciphers: Logical Cryptanalysis of DES.<br> F. Massacci and L. Marraro <li>A Necessarily Parallel Attack.<br> J. Millen <li>Efficient Infinite-State Analysis of Security Protocols.<br> A. Huima <li>A Reduction for Automated Verification of Authentication Protocols.<br> S. Stoller <li>Analysis of a Fair Exchange Protocol.<br> V. Shmatikov and J. Mitchell </ul> CADE-16 - The 16th International Conference on Automated Deduction,<br> Trento, Italy, July 7-10, 1999:<br> [Security-related paper only] <ul> <li>Towards an Automatic Analysis of Security Protocols in First-Order Logic.<br> C. Weidenbach </ul> 13th Annual IFIP WG 11.3 Working Conference on Database Security,<br> Seattle, Washington, July 26-28, 1999: <ul> <li>Intrusion Confinement by Isolation in Information Systems.<br> P. Liu, S. Jajodia and C. McCollum <li>Analyzing the Performance of Program Behavior Profiling for Intrusion Detection.<br> A. Ghosh and A. Schwartzbard <li>Integrating Data Mining Techniques with Intrusion Detection.<br> R. Mukkamala, J. Gagon and S. Jajodia <li>RBAC on the Web by Secure Cookies.<br> J. Park, R. Sandhu and S. Ghanta <li>eMEDAC: Role-Based Access Control Supporting Discretionary and Mandatory Features.<br> I. Mavridis, G. Pangalos and M. Khair <li>Agent Approaches to Enforce Role-Based Security in Distributed and Web-Based Computing.<br> S. Demurjian, Y. He, T. Ting and M. Saba <li>A Secret Splitting Method for the Protection of Privacy and Confidentiality in Computer Records.<br> A. Ho <li>Refusal is Better than Lying.<br> J. Biskup <li>Extending the BFA Workflow Authorization Model to Express Weighted Voting.<br> S. Kandala and R. Sandhu <li>A strategy for an MLS workflow management system.<br> M. Kang, J. Froscher, B. Eppinger and I. Moskowitz <li>Impact of Decision-Region Based Classification Mining Algorithms on Database Security.<br> T. Johnsten and V. Raghavan <li>Protecting Against Data Mining through Samples.<br> C. Clifton <li>Security Administration for Federations, Warehouses and Other Derived Data.<br> A. Rosenthal, V. Doshi and E. Sciore <li>Enforcing Integrity While Maintaining Secrecy.<br> D. Marks <li>The Effect of Confidentiality on the Structure of Databases.<br> A. Spalka and A. Cremers <li>Temporal Authorization in the Simplified Event Calculus.<br> S. Barker <li>Specifying and Computing Hierarchies of Temporal Authorizations.<br> E. Bertino, E. Ferrari, P. Bonatti and M. Sapino <li>The Security Problem against Inference Attacks on Object-Oriented Databases.<br> Y. Ishihara, T. Morita and M. Ito <li>A Logical Formalization for Specifying Authorizations in OO Databases.<br> Y. Bai and V. Varadharajan </ul> <ul> <li><a href="archive/papers-stacs99.html">STACS'99- 16th International Symposium on Theoretical Aspects of Computer Science,</a> <li><a href="archive/papers-infocom99.html">IEEE INFOCOM'99,</a> March 21-25, 1999, New York, USA: [Security-related papers only] <li><a href="archive/papers-tacas99.html">TACAS'99 - 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,</a> March 22-26, 1999, Amsterdam, The Netherlands: [Security-related paper only] <li><a href="archive/papers-asset99.html">ASSET'99 - The Second IEEE Symposium on Application-Specific Systems and Software Engineering Technology,</a> March 24-27, 1999, Richardson, USA: [Security-related papers only] <li><a href="archive/papers-hotos99.html">HotOS-VII - The 7th IEEE Workshop on Hot Topics in Operating Systems,</a> March 29-30, 1999, Arizona, USA: [Security-related papers only] <li><a href="archive/papers-usenixid99.html">1st USENIX Workshop on Intrusion Detection and Network Monitoring,</a> April 9-12, 1999, Santa Clara, USA: [Security-related papers only] <li><a href="../../papers-usenixsmart99.html">1st USENIX Workshop on Smartcard Technology,</a> May 10-11, 1999, Chicago, USA: [Security-related papers only] <li><a href="archive/papers-www99.html">WWW8- The Eighth International World Wide Web Conference</a>, May 11-14, 1999, Toronto, Canada: [Security-related papers only] <li><a href="archive/papers-icsei99.html">ICSE'99 Workshop on Software Engineering over the Internet</a>, May 17, 1999, Los Angeles, USA: [Security-related papers only] <li><a href="archive/papers-icset99.html">ICSE'99 Workshop on Testing Distributed Component-Based Systems</a>, May 17, 1999, Los Angeles, USA: [Security-related paper only] <li><a href="archive/papers-im99.html">IM '99 - Sixth IFIP/IEEE International Symposium on Integrated Network Management</a>, May 24-28, 1999, Boston, USA: [Security-related papers only] <li><a href="archive/papers-icpads98.html">ICPADS '98 - 1998 International Conference on Parallel and Distributed Systems </a>, December 14-16, Tainan, Taiwan: [Security-related papers only] <li><a href="archive/papers-popl99.html">POPL'99 - 26th ACM Symposium on Principles of Programming Languages</a>, January 20-22, 1999, San Antonio, Texas, USA: [Security-related papers only] <li><a href="archive/papers-ndss99.html">NDSS'99 - 1999 Network and Distributed Security Symposium</a>, <a href="../ConfReports/1999/CR1999-ndss99.html"> (Conference writeup)</a> February 3-5, 1999, San Diego, California, USA: <li><a href="archive/papers-iws99.html">IWS99 - Internet Workshop'99</a> February 18-20, 1999, Osaka, Japan: [Security-related papers only] <li><a href="archive/papers-fc99.html">Financial Cryptography '99</a>, <a href="../ConfReports/1999/CR1999-FC99.html"> Conference writeup</a> February 22-25, 1999, Anguilla, BWI <li><a href="archive/papers-sacom99.html">SAC '99 - 1999 ACM Symposium on Applied Computing</a> February 28-March 2, 1999, San Antonio, Texas, U.S.A: [Security-related papers only] <li><a href="archive/MA98.TXT">2nd International Workshop on Mobile Agents</a>, Stuttgart, Germany, September 9 - 11, 1998 <li> <a href="archive/ACMM98.TXT">ACM Multimedia'98 - The 6th ACM International Multimedia Conference,</a> Bristol, UK, September 12-16, 1998 <li><a href="archive/IC3N98.TXT">7th International Conference on Computer Communications and Networks,</a> Louisiana, USA, October 12-15,1998 <li><a href="archive/SRDS98.TXT">7th IEEE Symposium on Reliable Distributed Systems</a>, West Lafayette, IN, USA, October 21-22, 1998 <li><a href="archive/CCS5.TXT">5th ACM Conference on Computer and Communications Security,</a> San Francisco, USA, November 2-5, 1998. <li><a href="archive/WES98.TXT">Third International Workshop on Enterprise Security</a>, Stanford, CA, USA, June17-19, 1998. <li><a href="archive/INET98.TXT">INET'98</a>, Geneva, Switzerland, July 21-24, 1998. <li><a href="archive/ESORICS98.txt">ESORICS'98</a>, Louvain-la-Neuve, Belgium, September 16-18, 1998. <li><a href="archive/LICS98.TXT">Workshop on Formal Methods and Security Protocols</a>, June 25, 1998, Indianapolis, Indiana, USA (following LICS'98). <li><a href="archive/ICDCS98.TXT">ICDCS '98</a> - The 18th International Conference on Distributed Computing Systems, Amsterdam, May 26 - 29, 1998, The Netherlands. <li><a href="archive/USENIX98.TXT">1998 USENIX Annual Technical Conference</a>, New Orleans, Louisiana, June 15-19, 1998, USA. <li><a href="archive/IH98-paperlist.html">Second International Workshop on Information Hiding</a>, Portland Oregon, April 14-17, 1998. <li><a href="archive/NDSS98-paperlist.html">The Internet Society's Network and Distributed System Security Symposium</a> San Diego, California March 11-13, 1998, USA. <li><a href="archive/FC98-paperlist.html">Financial Crypto 1998</a>,February 23-25, 1998, Anguilla, BWI. <li><a href="archive/SP98-paperlist.html">1998 IEEE S&P</a>, 1998 IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 3-6, 1998 <li>Proceedings of the USENIX Symposium on Internet Technologies and Systems, Monterey, California, December 1997<br>L. Gong, M. Mueller, H. Prafullchandra, and R. Schemers, "Going Beyond the Sandbox: An Overview of the New Security Architecture in the Java Development Kit 1.2". pp.103-112. <li>20th National Information Systems Security Conference, October 7-10, 1997, Baltimore, Maryland: table of contents can now be found on the web via <a href="http://csrc.nist.gov/nissc/1997/proceedings/toc.pdf"> http://csrc.nist.gov/nissc/1997/proceedings/toc.pdf</a>. In addition, the table of contents includes links to most of the papers provided in the conference proceedings. The 1996 proceedings are similarly available at <a href="http://csrc.nist.gov/nissc/1996"> http://csrc.nist.gov/nissc/1996</a> <li><a href="archive/ACSAC97-paperlist.html">13th Annual Computer Security Applications Conference</a> December 7-11, 1997, San Diego, CA. <a href="http://www.acsac.org/1997/overview.html">[conference information]</a>. <li><a href="archive/IICIS97-paperlist.html"> IFIP WG11.5 First Working Conference on Integrity and Internal Control in Information Systems</a>, December 4-5, 1997, Zuerich, Switzerland. <a href="http://www.ifip.tu-graz.ac.at/TC11/CONF/zuerich1997/index.html"> [conference information]</a>. <li><a href="archive/USENIX98-paperlist.html">7th USENIX UNIX Security Symposium</a>, San Antonio, TX, January 25-29, 1998. <a href=http://www.usenix.org/events/sec98> [conference information]</a>. <li><a href="../../RBAC97-paperlist.html"> Second ACM Workshop on Role-Based Access Control</a>, Nov. 6-7, 1997, Fairfax, VA. <li> 6th International Conference on Computer Communications and Networks, September 22-25, 1997, Las Vegas, Nevada, security-related papers: <ul> <li> T.R.N. Rao, "Encryption, Electronic Signatures and Security in Computer Communications" (keynote) <li> Hatefi and Golshani, A New Framework for Secure Network Management </ul> <li>International Symposium on Information Systems and Technologies for Network Society, Fukuoka, Japan, 24 Sept. 1997. Security related paper:<br> Kou Nakayoshi, Nariyoshi Yamai, Toshio Matsuura, Kota Abe, and Koso Murakami. A Secure Distributed File System for Arbitrary Users <li><a href="archive/ICICS97-paperlist.html">International Conference on Information and Communications Security</a>, November 11-13, Beijing, P.R. China. <li><a href="archive/DIMACS_DFVCP97-paperlist.html"> DIMACS Workshop on Design and Formal Verification of Crypto Protocols</a> New Brunswick, New Jersey, Sept. 3-5, 1997. <a href="http://dimacs.rutgers.edu/Workshops/Security/index.html"> Conference information</a>. <li>ICCC '97, Int'l Conf. for Computer Communications, November 19-21, 1997, Cannes, France. <a href="http://www.prism.ugsq.fr/~iccc/"> Conference information</a>. Security-related paper: Intranet packet encryption with minimum overhead. S. Seno (Japan). <li>SOSP - 16, 16th ACM Symposium on Operating Systems Principles, Saint-Malo, France, October 5-8, 1997. <a href="http://www.cs.washington.edu/sosp16/"> Conference information</a>. Security-related papers: <ul> <li>Extensible Security Architectures for Java. Dan S. Wallach, Dirk Balfanz, Drew Dean, and Edward W. Felten (Princeton University). <li>A Decentralized Model for Information Flow Control. Andrew C. Myers and Barbara Liskov (MIT). </ul> <li> Third Annual ACM/IEEE Int'l Conf on Mobile Computing and Networking (MobiCom '97), Sept 26-30, 1997, Budapest, Hungary. <a href="http://www.monarch.cs.cmu.edu/~mobicom97/">Conference information</a>. Security-related papers: <ul> <li>A Public-Key Based Secure Mobile IP, John Zao, Stephen Kent, Joshua Gahm, Gregory Troxel, Matt Condell, Pam Helinek, Nina Yuan, and Isidro Castineyra (BBN, USA) <li>A Protection Scheme for Mobile Agents on Java, Daniel Hagimont and Leila Ismail (INRIA, France) <li>Ticket Based Service Access for the Mobile User, Bhrat Patel and Jon Crowcroft (University College London, UK) <li>Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems, Mike Spreitzer, Marvin Theimer, and Karin Petersen (Xerox PARC, USA); Alan Demers (Oracle Corporation, USA); and Doug Terry (Xerox PARC, USA) </ul> <li> SAFECOMP '97, 16th Int'l Conf. on Computer Safety, Reliability, and Security, York, UK, Sept. 8-10, 1997. <a href="http://www.cs.york.ac.uk/safecomp-97"> Conference information</a>. Security-related papers: <ul> <li>Safety and security for and advanced train control system, J. Braband. <li>Cryptographic protocols over open distributed systems: a taxonomy of flaws and related protocol analysis tools, S. Gritzalis and D. Spinellis. </ul> <li> Int'l Database Engineering and Applications Symp., IDEAS97, August 25-27, 1997, Montreal, Canada. <a href="http://www.cs.concordia.ca/ideas/ideas97/">Conference information</a>. Security-related paper:<br> Detection of Access Control Flaws in a Distributed Database System with Local Site Autonomy, Yaowadee Temtanapat and David Spooner (USA). <li><a href="archive/CRYPTO97-paperlist.html">CRYPTO '97</a>, August 18-21, Santa Barbara, CA. <a href="http://www.iacr.org/conferences/c97/"> Conference information</a>. <li><a href="archive/IFIP11397-paperlist.html">IFIP WG 11.3 11th Working Conf. on Database Security</a>, Lake Tahoe, CA, August 11-13, 1997. <a href="http://www.cs.rpi.edu/ifip/wc1997.html"> Conference information</a>. <li> 2nd IEEE High-Assurance Systems Engineering Workshop, Bethesda, MD, August 11-12, 1997 (in conjunction with COMPSAC'97). <a href="http://er4www.eng.ohio-state.edu/hase97/">Conference information</a>. Security related paper:<br> "Design and assurance strategy for the NRL pump," by Myong H Kang, Andrew P. Moore, Ira S. Moskowitz. <li>Ninth Int'l Conf. on Scientific and Statistical Database Management, Olympia, WA, August 11-13, 1997. Security-related paper:<br> Security problems for statistical databases with general cell suppressions, Tsan-sheng Hsu and Ming-Yang Kao. <li> Third Int'l Workshop on Next Generation Information Technologies and Systems, Neve Ilan, Israel, 30 June - 3 July 1997. Security-related papers: <ul> <li>Automated Negotiation in Electronic Commerce, C. Beam and A. Segev, USA <li>Persistence and Security Support for Distributed System with Mobile Software Objects (short paper), B. Lavva, O. Holder and I. Ben-Shaul, Israel </ul> <li> INET '97, Internet Society 7th Annual Conference, Kuala Lumpur, Malaysia, June 25-30, 1997. <a href="archive/INET97-paperlist.html">Security-related papers</a>. <li><a href="archive/CSFW97-paperlist.html"> Tenth IEEE Computer Security Foundations Workshop</a>, Rockport, MA, June 10-12, 1997. <a href="http://www.jcompsec.mews.org/csfw.html"> Conference information</a>. <li>Software Process Improvement and Capability Determination Symposium (SPICE '97), June 1-6, 1997, Walnut Creek, CA, <a href="http://nssc.llnl.gov/SESI/ses97/agenda.htm"> Conference information</a>. Security-related papers: <ul> <li>A process standard for system security engineering: development experiences and pilot results. Richard Hefner. <li>A survey to determine federal agency needs for a role-based access control security product. Charles Smith. </ul> <li> TAPSOFT '97, April 14-18, Lille, France. Security-related paper:<br> A Type-Based Approach to Program Security. D. Volpano and G. Smith <li><a href="archive/COMPASS97-paperlist.html">COMPASS '97 security-related papers</a>, 12th Annual IEEE Conference on COMPuter ASSurance (COMPASS), NIST, Gaithersburg, MD, June 16-19, 1997.<a href="http://hissa.ncsl.nist.gov/compass/">Conference information.</a> <li> <a href="archive/FSE97-paperlist.html">FSE4 - Fast Software Encryption Workshop '97</a>, Haifa, Israel, January 20-22, 1997. <li> <a href="archive/NDSS97-paperlist.html"> Internet Society 1997 Symposium on Network and Distributed System Security (NDSS '97)</a>, San Diego, CA, 10-11 February 1996. <li><a href="archive/SP97-paperlist.html">1997 IEEE S&P</a>, 1997 IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 5-7, 1997 <a href="../../SP97pgmandreg.html"> [conference information]</a> <li> Sixth IFIP Working Conference on Dependable Computing for Critical Applications, 5-7 March, 1997, Eibsee-Hotel, Grainau (near Garmisch-Partenkirchen), Germany, <a href="http://www3.informatik.uni-erlangen.de:1200/Misc/DCCA97.htm"> [Conference information]</a> security-related paper:<br> "Experimenting Quantitative Evaluation Tools for Monitoring Operational Security," Rodolphe Ortalo, Yves Deswarte, Mohamed Kaaniche, LAAS-CNRS & INRIA, Toulouse. <li> <a href="archive/COCCS97-paperlist.html">Fourth ACM Conference on Computer and Communications Security</a>, 1-4 April 1997, Zurich, Switzerland. <a href="http://www.zurich.ibm.ch/pub/Other/ACMsec/index.html">Conference information</a>. <li>ASIAN '96 -- Asian Computing Science Conference, December 2-5, Singapore. <a href="http://www.iscs.nus.sg/~asian96">[Conference web page]</a>. Security-related papers: <ul> <li>Broadcasting in Star Graphs with Byzantine Failures<br> Yukihiro Hamada, Aohan Mei, Feng Bao, Yoshihide Igarashi <li>Blind Threshold Signatures Based on Discrete Logarithm<br> Wen-Shenq Juang, Chin-Laung Lei <li>Computation of the k-Error Linear Complexity of Binary Sequences with Period 2^n<br> Takayasu Kaida, Satoshi Uehara, Kyoki Imamura <li>Symbolic Rights and Vouchers for Access Control in Distributed Object Systems<br> Vincent Nicomette, Yves Deswarte <li>The Heuristics for the Constrained Multicast Routing<br> Zong-Ben Xu, Bo-Ting Yang <li>On Design and Analysis of a New Block Cipher<br> Xun Yi </ul> <li><a href="archive/DIMACS96tw-paperlist.html">DIMACS Workshop on Trust Management in Networks</a>, South Plainfield, NJ, September 30 - October 2, 1996. <li><a href="archive/NISSC96-paperlist.html">19th National Information Systems Security Conference</a>, Baltimore, MD, October 21-25, 1996, <a href=http://csrc.ncsl.nist.gov/nissc>[conference information]. <li></a><a href="archive/ACSAC96-paperlist.html">12th ACSAC</a> Twelfth Annual Computer Security Applications Conference, San Diego, December 9-13,1996 <a href=http://www.isse.gmu.edu/~acsac/1996/overview.html>[conference information]</a> <li><a href=archive/ASIACRYPT96-paperlist.html>ASIACRYPT '96</a>, South Korea, November 4-7, 1996, <a href=http://www.kreonet.re.kr/AC96/AC96.html> [conference information]</a> <li>HASE '96 (IEEE High-Assurance Systems Engineering Workshop), Niagara-on-the-Lake, Canada, October 21-22, 1996, <a href=http://www.cs.uh.edu/~hase96>[conference information]</a> security-related papers: <ul> <li> A General Approach to Secure Component Composition<br> Q. Shi, N. Zhang, Liverpool John Moores University, UK. <li> A Framework for MLS Interoperability. <br>M.H. Kang, J.N. Froscher, and I.S. Moskowitz, Naval Research Laboratory, USA. <li> Multiversion Transaction Scheduler for Centralized MultiLevel Secure Database Systems.<br> T.F. Keefe, Penn State U., W.T. Tsai, U. of Minnesota. </ul> <li>EDCC-2 (Second European Dependable Computing Conference), Taormina, Italy, October 2-4, 1996. <a href=http://www.iet.unipi.it/~simon/EDCC2.html> [conference information]</a>. Security-related paper:<br> Friends - A Flexible Architecture for Implementing Fault Tolerant and Secure Distributed Applications. J.-C. Fabre and T. Prennou (LAAS-CNRS, Toulouse, France) <li><a href=archive/CARDIS96-paperlist.html>CARDIS '96</a>: Second Smart Card and Advanced Applications Conference, Amsterdam, September 18-20, 1996 <a href=http://www.cwi.nl/~brands/cardis.html>[conference information]</a>. <li><a href="archive/CMS96-paperlist.html">IFIP TC-6 and TC-11 Joint Working Conference on Communications and Multimedia Security</a>, University of Essen, Germany, September 23-24, 1996. <a href=http://www.wi-inf.uni-essen.de/ifs/cms96>[conference information].</a> <li><a href="archive/ESORICS96-paperlist.html">ESORICS-96</a>, European Symposium on Research in Computer Security, September 25-27, 1996, Rome, Italy. <a href=http://www.fub.it/ESORICS96/>[conference information]</a>. <li> <a href="archive/NP96-paperlist.html">New Security Paradigms '96 Workshop </a> Lake Arrowhead, California, 18-20 September, 1996. <li>TPHOLs '96 - The 1996 International Conference on Theorem Proving in Higher Order Logics, Turku, Finland, 26-30 August, 1996. <a href=http://www.abo.fi/~jharriso/programme.html>[conference information]</a>. Security-related paper:<br> Deciding cryptographic protocol adequacy with HOL: the implementation. Stephen H. Brackin (Arca Systems, Inc.) <li>Method Engineering'96: Principles For Method Construction And Tool Support, Atlanta, Georgia, August 25-28, 1996.<a href=http://www.cis.gsu.edu/ME-96> [conference information]</a>. Security-related paper:<br> Structural Artifacts in Method Engineering: The Security Imperative<br> Richard Baskerville (Denmark, USA [sic]) <li><a href="archive/CRYPTO96-paperlist.html">CRYPTO '96</a>, Santa Barbara, California, August 18-22, 1996 <li><a href=archive/SAC96-paperlist.html>SAC '96: Third Annual Workshop on Selected Areas in Cryptography</a>, Kingston, Ontario, Canada, August 15-16, 1996. <a href=http://www.iacr.org/~iacr/conferences/sac96.html>[conference information]</a>. <li><a href="archive/USENIX96-paperlist.html">6th USENIX UNIX Security Symposium, San Jose,CA, July 22-25,1995. </a> <A href="http://www.usenix.org/sec96.html">[conference information] </a>. <li> <a href="archive/IFIP11396-paperlist.html">IFIP WG 11.3 Tenth Working Conference on Database Security</a>, Lake Como, Italy, July 22-25, 1996 <li>ADL '96, Forum on Research and Technology Advances in Digital Libraries, Library of Congress, Washington, D.C., May 13-15, 1996. <a href=http://cesdis.gsfc.nasa.gov/admin/adl96/adlcall.html> [conference information]</a>. Security-related paper:<br> Authorization in the Digital Library: Secure Access to Services Across Enterprise Boundaries. N. Ching, V. Jones and M.Winslett (Univ. of Illinois, Urbana-Champaign) <li>COMPASS '96, 11th Annual IEEE Conference on COMPuter ASSurance (COMPASS), NIST, Gaithersburg, MD, June 17-21, 1996. <a href=http://www.itd.nrl.navy.mil/conf/compass96/> [conference information]</a>. Security-related papers: <ul> <li>An Empirical Model of the Security Intrusion Process. Erland Jonsson and Tomas Olovsson (Chalmers University of Technology, Sweden) <li>Increasing Assurance Through Literate Programming Techniques. Andrew Moore (Naval Research Laboratory) and Charles Payne (Secure Computing Corp., USA) <li>A Framework for Composition. Todd Fine (Secure Computing Corporation) <li>Composition of a secure system based on trusted components. Ulf Lindqvist, Tomas Olovsson, Erland Jonsson (Chalmers University of Technology, Sweden) <li>Defining an Adaptive Software Security Metric From a Dynamic Software Software Fault-Tolerance Measure. J. Voas (Reliable Software Technologies) and K. Miller (University of Illinois, Springfield, USA) </ul> <li>INET '96, 6th Annual Conference of the Internet Society, June 25-28, Montreal <a href=http://www.isoc.org/conferences/inet96/> [conference information]</a>. Security-related papers: <ul> <li>Securing Radio Spectrum for Wireless Internet Access, Steve Cisler (Apple Computer, Inc. , USA) <li>Electronic Payment Interoperability, Alireza Bahreman <li>Efficient Micropayment Systems, Donald Eastlake (Cybercash, USA) <li>The Design of the SECT (Secure Electronic Transactions) Protocol, Allan M. Schiffman <li>Secure DNS, Don Eastlake, (Cybercash, USA) <li>IP Security, Jim Hughes </ul> <li>SIGMOD '96, ACM SIGMOD International Conference on Management of Data, June 3-6, 1996, Montreal <a href=http://web.cs.ualberta.ca/~database/sp96/info.html> [conference information]</a>. Security-related paper:<br> Static Detection of Security Flaws in Object-Oriented Databases, Keishi Tajima. <li>ACM-SIGMOD'96 Workshop on Research Issues on Data Mining and Knowledge Discovery, June 2, 1996, Montreal <a href=http://fas.sfu.ca/cs/conf/dmkd96.html> [Workshop information]</a>. Security-related paper:<br> Security and Privacy Implications of Data Mining. C. Clifton (MITRE) and D. Marks (US Department of Defense) <li>SDNE '96, Third International Workshop on Services in Distributed and Networked Environments, June 3-4, 1996, Macau: <a href=http://www.citi.umich.edu/sdne.html> [Workshop information]</a>; security-related papers: <ul> <li>Security and Auditing of VPN, Nora Boukari (Telis S & C, France) and Ali Aljane (Universite Pierre et Marie Curie, France) <li>Information Distribution by FleaMarket System, Osamu Akashi, Kenji Moriyasu, and Atsushi Terauchi (NTT Software Laboratories, Japan) <li>A Privilege Management System For A Secure Network, K.J. Maly, A. Gupta, B Kvande, I.B. Levinstein, R. Mukkamala, and M. Olson (Old Dominion University, USA) </ul> <li>TACAS '96, Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, March 27-29, 1996, Passau, Germany: <a href=http://www.uni-passau.de/fmi/lehrstuehle/steffen/cfp/tacas.html> [Workshop information]</a> <ul> <li>Breaking and Fixing the Needham-Schroeder Public-Key Protocol using CSP and FDR, G. Lowe (Oxford University, UK) <li>Automatic Compositional Verification of Some Security Properties, R. Focardi and R. Gorrieri (University of Bologna, Italy) </ul> <li>IEEE INFOCOM '96, The Conference on Computer Communications, March 24 - 28, San Francisco, CA, USA: <a href=http://www.research.att.com/~hgs/infocom96/> [conference information]</a><br> Network Security via Reverse Engineering of TCP Code: Vulnerability Analysis and Proposed Solutions. B. Guha and B. Mukherjee (UC Davis, USA) <li>IEEE IPCCC'96, IEEE International Phoenix Conference on Computers and Communications, March 27-29, 1996, Phoenix, Arizona, USA: <a href=http://www.ece.arizona.edu/conferences/ipccc96/> [conference information]</a> <ul> <li>Security for Real-Time MPEG Compressed Video in Distributed Multimedia Applications, G. Spansos and T. Maples (California State University at Long Beach, USA) <li>Distributed Communication Services in the MASIX System, J. Simon and F. Mevel (Universite Paris VI, France) <li>TCP/IP Spoofing Fundamentals, N. Hastings (Iowa State University, USA) and P. Mclean (Andersen Consulting) <li>The Role of Decimated Sequences in Scaling Encryption Speeds Through Parallelism, E. Witzke (RE/SPEC, Inc.) and L. Pierson (Sandia National Laboratories, USA) </ul> <li>ICDE '96, Twelfth International Conference on Data Engineering, Feb. 26 - March 1, 1996, New Orleans, USA. <a href=http://info.gte.com/ftp/doc/ICDE96/tech-program.html> [technical program]</a> Security-related paper:<br> Secure Mediated Databases, K. S. Canda, Sushil Jajodia, and V. S. Subrahmanian. <li><a href="archive/SP96-paperlist.html">1996 IEEE S&P</a>, 1996 IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 6-8, 1996 <a href="../../SP96pgmandreg.html"> [conference information]</a> <li>IDMS'96, European Workshop on Interactive Distributed Multimedia Systems and Services, March 4-6, 1996, Berlin, Germany (security-related papers only): <a href="http://www.fokus.gmd.de/ws/idms"> [conference information]</a> <ul> <li>A Secure Architecture for Tenet Scheme 2<br> <i>R. Oppliger (Univ. of Berne, Switzerland), A. Gupta, M. Moran (ICSI, USA), R. Bettati (Texas A&M Univ., USA)</i> <li>The Secure Conferencing User Agent: A Tool to Provide Secure Conferencing with MBone Multimedia Conferencing Applications<br> <i>E. Hinsch, A. Jaegermann, L. Wang (GMD TKT, Germany), I.C. Roper (Univ. of Plymouth, UK)</i> </ul> <li>ICDP'96, IFIP/IEEE International Conference on Distributed Platforms, February 27 - March 1, 1996, Dresden, Germany (security-related paper only): <a href="http://wwwrn.inf.tu-dresden.de/lsrn/konfprog.html"> [conference information]</a> <br> Security Architecture based on Secret Key and Privilege Attribute Certificates<br> <i>Y. Sameshima (Hitachi Software Engineering Co., Japan)</i> <li>IEEE COMPCON '96, February 25 - 28, 1996, Santa Clara, CA (security-related paper only): <a href="http://www.cse.ucsc.edu/~lisa/compcon96.html"> [conference information]</a> <br> Mobile Agent Security and Telescript<br> <i>J. Tardo and L. Valente (General Magic Inc, USA)</i> <li><a href="archive/NET96-paperlist.html">NETWORKS'96</a>, IASTED International Conference, January 8-10, 1996, Orlando, Florida, USA (security-related papers only); <a href="http://www.cuug.ab.ca:8001/~warwodad/240pro.doc"> conference information</a> <li> ACSC'96, Nineteenth Australasian Computer Science Conference, 31 January - 2 February 1996, Melbourne, Australia (security-related papers only): <a href="http://www.cs.mu.oz.au/conferences96/"> [conference information http://www.cs.mu.oz.au/conferences96/]</a> <ul> <li>Analysis of a Key Distribution Protocol for a Secure LAN-SMDS Network <i>V. Varadharajan, C. Calvelli</i> <li>A Combinatorial Pattern Matching Problem with Applications to Cryptography <i>J. Golic, L. O'Connor</i> <li>Smart Card Integration with Kerberos <i>M. Warner, J. Trinkle, G. Gaskell</i> <li>Language Mechanisms for Protecting Persistent Data <i>M. Hollins, J. Rosenberg, M. Hitchens</i> </ul> <li><a href="archive/WWW4-paperlist.html">WWW4, Fourth International World Wide Web Conference, "The Web Revolution"</a>, December 11-14, 1995, Boston, Massachusetts, USA (security-related papers only). <a href="http://www.w3.org/pub/Conferences/WWW4">conference information</a>). <li><a href="archive/GCOM95-paperlist.html">GLOBECOM'95</a>, IEEE 1995 Global Telecommunications Conference, Westin Stamford & Westin Plaza, Singapore, November 13-17 1995 (security-related papers only; <a href="http://www.ieee.org/comsoc/GC-95.html">conference information</a>). <li> <a href="archive/NDSS96-paperlist.html"> Internet Society 1996 Symposium on Network and Distributed System Security (NDSS '96)</a>, San Diego, CA, 22-23 February 1996. <li> Twelfth Int. Conf. on Data Engineering (ICDE), New Orleans, LA, 26 Feb. - 1 March 1996, (security related paper only):<br> Secure mediated databases. <i>K.S. Candan, Sushil Jajodia and V.S. Subrahmanian.</i> <li> Workshop on Formal Methods in Software Practice (FMSP '96), San Diego, CA, 10-11 January, 1996 (security related paper only):<br> A framework for specification and verification of information flow security policies.<br><i> R. V. Puri and W. A. Wulf</i> <li> <a href="archive/NISS95-paperlist.html">Eighteenth National Information System Security Conference</a>, Baltimore, MD, 13-16 October, 1995. <li><a href="http://www.u-aizu.ac.jp/labs/sw-db/cismod95">Int'l Conf. on Information Systems and Management of Data (CISMOD) 1995 </a> , 14-17 November, Bombay, India (security-related paper only):<br> Maintaining Surrogate Data for Query Acceleration in Multilevel Secure Database Systems<br><i> B. Panda and W. Perrizo</i> <li> <a href="archive/DCCA5-paperlist.html">Fifth IFIP Working Conference on Dependable Computing for Critical Applications</a>, September 25-27, Urbana-Champaign, IL (security related papers only). <li> <a href="archive/COCCS96-paperlist.html">Third ACM Conference on Computer and Communications Security</a>, 14-16 March 1996, New Delhi, India. For participation information, contact General co-Chairs Ravi Ganesan (BF4GRJC@baplaza.bell-atl.com) or Ravi Sandhu (sandhu@isse.gmu.edu), or visit <a href="http://www.csl.sri.com/acm-ccs/ccs.html"> web site</a>. <li> <a href="archive/ITsicher95-paperlist.html"> Communications and Multimedia Security </a> (IT - Sicherheit[Security] '95), Graz, Austria, 20-21 September, 1995. <li> <a href="archive/NP95-paperlist.html">New Security Paradigms '95 Workshop </a> La Jolla, California, 22-25 August, 1995. <li>Fourteenth Int'l. Conf. on Object-oriented & Entity Relationship Modelling, Gold Coast, Queensland, Australia, 13-15 December 1995, (security-related papers only):<br> Cryptographic mechanism for object-Instance-based authorization in object-oriented database systems.<br> <i>A Baraani-Bastjerdi, J Pieprzyk, R Safavi-Naini, and J Getta.</i><br> SEER: Security Enhanced Entity-Relationship Model for Modeling and Integrating Secure Database Environments<br><i> Y. Oh, B. Navathe (Georgia Institute of Technology, USA)</i> <li><a href="archive/ACSAC95-paperlist.html">11th ACSAC</a> Eleventh Annual Computer Security Applications Conference, New Orleans, December 11-15,1995 <li><a href="archive/IC3N95-papers.html">4th International Conference on Computer Communications and Networks</a>, Las Vegas, September 20-23, 1995 (security-related papers only); <a href="archive/IC3N95-program.html">full program and registration info</a> <li><a href="archive/IFIP11395-paperlist.html">IFIP WG 11.3 Ninth Working Conference on Database Security</a>, Renssalaerville, New York, August 13-16, 1995 <li><a href="archive/CRYPTO95-paperlist.html">CRYPTO '95</a>, IACR's US Workshop, Santa Barbara, California, August 27-31, 1995 <li><a href="archive/USENIX95-paperlist.html">5th USENIX UNIX Security Symposium</a>, Salt Lake City, Utah, June 5-7, 1995 <li><a href="archive/EUROCRYPT95-paperlist.html">Eurocrypt '95</a>, IACR's European workshop, St. Malo, France, May 22-25, 1995 <li><a href="archive/COMPASS95-paperlist.html">COMPASS '95</a>, 10th Annual IEEE Conference on COMPuter ASSurance (COMPASS), NIST, Gaithersburg, MD, June 26-28, 1995.<a href="http://www.csl.sri.com/compass95.html">Details.</a> <li><a href="archive/INET95-paperlist.html">INET '95</a>, Internet Society Fifth Annual Meeting, Honolulu, Hawaii, June 26-30, 1995 <li><a href="archive/CSFW95-paperlist.html">CSFW-8</a>, Eighth Computer Security Foundations Workshop, Kenmare, County Kerry, Ireland, June 13-15, 1995 <li><a href="archive/SP95-paperlist.html">1995 IEEE S&P</a>, 1995 IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 8-10, 1995 <li><a href="archive/SEC95-paperlist.html">IFIP/SEC '95</a>, Eleventh International Information Security Conference, 9-12 May, Capetown, South Africa <li><a href="archive/ICS94-paperlist.html">ICS '94</a>, 1994 International Computer Symposium (ICS '94), National Chiao Tung University, Taiwan, Dec 12-15, 1994 <li><a href="archive/ADC95-paperlist.html">6th ADC and 18th ACSC</a>, security-related papers from the 6th Australasian Database Conference and the 18th Australasian Computer Science Conference, Adelaide, Australia, Jan 30-Feb. 3, 1995 <li><a href="archive/ISOC95-paperlist.html">ISOC-95</a>, Internet Society 1995 Symposium on Network and Distributed System Security, San Diego, CA, February 16-17, 1995 <li><a href="archive/ACSAC94-paperlist.html">ACSAC-10</a>, 10th Annual Computer Security Applications Conference, Orlando, Dec. 5-9, 1994 <li><a href="archive/ESORICS94-paperlist.html">ESORICS-94-10</a>, European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994 <li><a href="archive/CCS94-paperlist.html">CCS-2</a>, Second ACM Conference on Computer and Communications Security, Fairfax, VA, November 2-4, 1994 <li><a href="archive/WCDS94-paperlist.html">IFIP 8th WCDS</a>, Eighth IFIP Working Group 11.3 Working Conference on Database Security, Bad Salzdetfurth, Germany, August 23-26, 1994 on Computer and Communications Security, Fairfax, VA, November 2-4, 1994 <li><a href="archive/CSFW94-paperlist.html">CSFW-7</a>, Seventh Computer Security Foundations Workshop, Franconia, NH, June 14-16, 1994 <li><a href="archive/SP94-paperlist.html">1994 IEEE S&P</a>, 1994 IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 16-18, 1994 </ul> </body> </html>