Please contact me at Grit.Denker@sri.com if you would like to obtain digital versions of publications

Publications 2004

  • Authorization and Privacy for Semantic Web Services

    G. Denker L. Kagal, M. Paolucci, N. Srinivasan, T. Finin, K. Sycara

    In 2004 workshop on Semantic Web Services held at the AAAI Spring Symposium in Stanford, May 2004

  • Authorization and Privacy for Semantic Web Services

    G. Denker L. Kagal, Tim Finin, M. Paolucci, N. Srinivasan, and K. Sycara.

    In IEEE Intelligent Systems.

  • Modeling and Compliance Checking of Security Policies for OWL-S Web Services

    G. Denker, L. Kagal, T. Finin, M. Paolucci, K. Sycara. Technical Report, 2004.

  • Semantic Web Service Interaction Protocols: An Ontological Approach

    Co-authored by R. Ashri, D. Marvin, M. Surridge, and T. Payne

    In Int. Semantic Web Conference (ISWC04), Japan, November, 2004.

  • OWL-S Editor

    G. Denker D. Elenius and D. Martin.

    In Demo session at ISWC04, Japan, November 2004.

  • OWL-S Editor

    Poster at ISWC04, Japan, November 2004.

  • OWL-S Semantics of Security Web Services: A Case Study

    G. Denker, S. Nguyen, A. Ton

    In European Semantic Web Symposium (ESWS 2004), Greece, May 2004.

  • The Impact of Context on the Trustworthiness of Communication: An Ontological Approach

    Co-authored by S. Toivonen.

    In Workshop on Trust, Security, and Reputation at ISWC04, Japan, November, 2004.

  • Security in the Semantic Web Using OWL

    Submitted to Information Security Technical Report (ISTR) produced by the Information Security Group, Royal Holloway, Univesity of London and Elsevier publishers.

  • Model- and Goal-Based Architecture for Situation-Aware Systems

    Co-authored by C. Talcott. Internal report, January 2004.
  • Formal Checklists for Remote Agent Dependability

    G. Denker, C. Talcott

    In Workshop on Rewriting Logic and Its Applications (WRLA04), 2004.

Publications 2003

    Notification of Certificate Revocation Status between Different Domains under a PKI System

    G. Denker, Y. Miyake, J. Millen, G. Denker, T. Tanaka, K. Nakao

    Information Processing Society Japan (IPSJ) Journal, Vol. 44, June 2003.

  • Security for DAML Web Services: Annotation and Matchmaking

    G, Denker, L. Kagal, T, Finin, M. Paolucci, K. Sycara

    In Proceedings of the 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, USA, 20-23 October, 2003.

  • Maude Specification of the MDS Architecture and Examples

    G. Denker, C. Talcott

    Technical Report, SRI-CSL-03-03, December 1, 2003.

Publications 2002

  • Towards Security in DAML

    Internal Report, SRI International, Menlo Park, CA 94025, 2002.

  • Design and Implementation of Multicast CAPSL and Its Intermediate Language

    G. Denker, J Millen

    Computer Science Laboratory Technical Report SRI-CSL-02-09, SRI International, Menlo Park, CA 94025, December 2002.

  • Publications 2001

    • Accessing Information and Services on the DAML-Enabled Web In The Second International Workshop on the Semantic Web

      G. Denker, J.R. Hobbs, D. Martin, S. Narayana, R. Waldinger

      In The Second International Workshop on the Semantic Web Workshop at WWW10, Hongkong, May 1, 2001.

    Publications 2000

    • The CAPSL Integrated Protocol Environment

      G. Denker, J. Millen

      SRI International Technical Report, SRI-CSL-2000-02, October 2000.

    • Cross-Domain Access Control via PKI

      G.Denker, J. Millen, Y. Miyake

      SRI Internal Report, September 2000

    • Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis

      G. Denker, D. Basin

      In Workshop on Rewriting Logic and its Applications, Kanazawa, Japan, September 18-20, 2000. In Volume 36 of Electronic Notes in Theoretical Computer Science, pp 235-256, Elsevier Science B.V.

    • Rewriting Semantics of Meta-Objects and Composable Distributed Services

      G. Denker, J. Meseguer, C.Talcott

      In Workshop on Rewriting Logic and its Applications, Kanazawa, Japan, September 18-20, 2000. In Volume 36 of Electronic Notes in Theoretical Computer Science, pp 407-427, Elsevier Science B.V.

    • PKI and Revocation Survey

      G. Denker, J. Millen, Y. Miyake

      SRI International Technical Report, SRI-CSL-2000-01, August 2000.

    • Design of a CIL Connector to Maude

      In 2000 Workshop on Formal Methods and Computer Security, July 20, 2000, Chicago, USA (post-CAV Workshop).

    • Optimizing Protocol Rewrite Rules of CIL Specifications

      G. Denker, J. Millen, J. Küster Filipe, A. Grau

      In 13th IEEE Computer Security Foundations Workshop 13th IEEE CSFW, July 3-5, 2000, Cambridge, England.

    • Formal Specification and Analysis of Active Networks and Communication Protocols: The Maude Experience

      G. Denker, J.Meseguer, C. Talcott

      In DARPA Information and Survivability Conference and Exposition Hilton Head, South Carolina, January 25-27, 2000, pp. 251-265, IEEE Computer Society Press.

    • CAPSL Integrated Protocol Environment

      G. Denker, J. Millen,

      In DARPA Information and Survivability Conference and Exposition Hilton Head, South Carolina, January 25-27, 2000, pp. 207-221, IEEE Computer Society Press.

    Publications 1999

    • Rewriting Semantics of Meta-Objects and Composable Distributed Services

      G. Denker, J. Meseguer, C. Talcott

      Internal Report, Computer Science Laboratory, SRI International, Menlo Park, CA, 1999.

    • Specifying a Reliable Broadcasting Protocol in Maude

      G. Denker, J.J. Garcia-Luna-Aveces, J. Meseguer, P. Csaba Olveczky, Y. Raju, B. Smith, C. Talcott

      Internal Report, Computer Science Laboratory, SRI International, Menlo Park, CA, 1999. Report version of DGM+99b.

    • CAPSL and CIL Language Design: A Common Authentication Protocol Specification Language and Its Intermediate Language

      G.Denker, J. Millen, J.

      CSL Report, SRI-CSL-99-02, Computer Science Laboratory, SRI International, Menlo Park, CA, February 1999.

    • CAPSL Intermediate Language

      G. Denker, J Millen

      In Heintze, N. and Clarke, E., editors, Workshop on Formal Methods and Security Protocols (FMSP99), Trento, Italy, July, 1999.

    • Reliable Broadcasting Protocol in Maude

      G. Denker, J.J. Garcia-Luna-Aveces, J. Meseguer, P. Csaba Olveczky, Y. Raju, B. Smith, C. Talcott

      In Hajek, B. and Sreenivas, R. S., editors, 37th Annual Allerton Conference on Communication, Control, and Computation, University of Illinois, USA, September 22-24, 1999.

    • CAPSL Integrated Protocol Environment

      G. Denker, J Millen

      Internal Report, Computer Science Laboratory, SRI International, Menlo Park, CA, 1999.

    • Formal Specification and Analysis of Active Networks and Communication Protocols: The Maude Experience

      Denker, G., Meseguer, J., and Talcott, C.

      Internal Report, Computer Science Laboratory, SRI International, Menlo Park, CA, 1999.