Publications 2004
-
Authorization and Privacy for Semantic Web Services
G. Denker L. Kagal, M. Paolucci, N. Srinivasan, T. Finin, K. SycaraIn 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. PayneIn 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. TonIn 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. TalcottIn Workshop on Rewriting Logic and Its Applications (WRLA04), 2004.
Publications 2003
-
Security for DAML Web Services: Annotation and Matchmaking
G, Denker, L. Kagal, T, Finin, M. Paolucci, K. SycaraIn 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. TalcottTechnical Report, SRI-CSL-03-03, December 1, 2003.
Notification of Certificate Revocation Status between Different Domains under a PKI System
G. Denker, Y. Miyake, J. Millen, G. Denker, T. Tanaka, K. NakaoInformation Processing Society Japan (IPSJ) Journal, Vol. 44, June 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 MillenComputer Science Laboratory Technical Report SRI-CSL-02-09, SRI International, Menlo Park, CA 94025, December 2002.
-
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. WaldingerIn The Second International Workshop on the Semantic Web Workshop at WWW10, Hongkong, May 1, 2001.
-
The CAPSL Integrated Protocol Environment
G. Denker, J. MillenSRI International Technical Report, SRI-CSL-2000-02, October 2000.
-
Cross-Domain Access Control via PKI
G.Denker, J. Millen, Y. MiyakeSRI Internal Report, September 2000
-
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis
G. Denker, D. BasinIn 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.TalcottIn 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. MiyakeSRI 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. GrauIn 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. TalcottIn 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.
-
Rewriting Semantics of Meta-Objects and Composable Distributed Services
G. Denker, J. Meseguer, C. TalcottInternal 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. TalcottInternal Report, Computer Science Laboratory, SRI International, Menlo Park, CA, 1999. Report version of DGM+99b.
-
CAPSL Intermediate Language
G. Denker, J MillenIn Heintze, N. and Clarke, E., editors, Workshop on Formal Methods and Security Protocols (FMSP99), Trento, Italy, July, 1999.
-
CAPSL Integrated Protocol Environment
G. Denker, J MillenInternal 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.
Publications 2001
Publications 2000
Publications 1999
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.
Reliable Broadcasting Protocol in Maude
G. Denker, J.J. Garcia-Luna-Aveces, J. Meseguer, P. Csaba Olveczky, Y. Raju, B. Smith, C. TalcottIn Hajek, B. and Sreenivas, R. S., editors, 37th Annual Allerton Conference on Communication, Control, and Computation, University of Illinois, USA, September 22-24, 1999.