ABSTRACT Accessing Information and Services on the DAML-Enabled Web (2009)
Grit Denker, Jerry R. Hobbs, David Martin, Srini Narayanan, Richard Waldinger
allow one to mark up web pages to indicate the meaning of their content; it is intended that the results delivered by a DAML-enabled browser will more closely match the intentions of the user than is...
Grit Denker, Daniel Elenius, David Martin
to customers and partners and to leverage resources of others. Although Web Services, based on XML technology, allow interoperability, they do not support efficient and flexible search, allocation,...
The focus of this paper is developing ontologies that can be used to annotate web services represented by DAML-S. We propose several security-related ontologies that are designed to represent...
Designing a Group Protocol Specification Language (2008)
Formal methods such as model checking can be applied to gain design assurance in the security of cryptographic group management protocols, just as they have been used to analyze unicast security...
Towards Integrated Specification and Analysis of Machine-Readable Policies Using Maude 1 (2008)
Rukman Senanayake, Grit Denker, Jon Pearce
A policy is defined as “a plan or course of action, as of a government, political party, or business, intended to influence and determine decisions, actions, and other matters. ” The behavior of...
Cross-Domain Access Control via PKI£ (2008)
In this note we consider how role-based access control can be managed on a large scale over the Internet and across organizational boundaries. We take a PKI approach, in which users are identified...
ABSTRACT Accessing Information and Services on the DAML-Enabled Web (2007)
Grit Denker, Jerry R. Hobbs, David Martin, Srini Narayanan, Richard Waldinger
allow one to mark up web pages to indicate the meaning of their content; it is intended that the results delivered by a DAML-enabled browser will more closely match the intentions of the user than is...
Cross-Domain Access Control via PKI (2007)
Grit Denker And, Grit Denker, Jon Millen, Yutaka Miyake
can be managed on a large scale over the Internet and across organizational boundaries. We take a PKI approach, in which users are identified using public key certificates, as are the servers. The...
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New languages and models are...
Daniel Elenius, Reginald Ford, Grit Denker, David Martin, Mark Johnson
Abstract. We describe a novel approach by which software can assess the ability of a confederation of heterogeneous systems to interoperate to achieve a given purpose. The approach uses ontologies...
The owl-s editor - a development tool for semantic web services (2005)
Daniel Elenius, Grit Denker, David Martin, Fred Gilham, John Khouri, Rukman Senanayake
Abstract. The power of Web Service (WS) technology lies in the fact that it establishes a common, vendor-neutral platform for integrating distributed computing applications, in intranets as well as...
The impact of context on the trustworthiness of communications : an ontological approach (2004)
Toivonen, Santtu, Denker, Grit
Proceedings of the ISWC 2004 Workshop on Trust, Security and Reputation on the Sematic Web. Horoshima, Nov. 2004
Authorization and privacy for semantic web services (2004)
Lalana Kagal, Massimo Paolucci, Naveen Srinivasan, Grit Denker, Tim Finin, Katia Sycara
In this paper we address security of semantic Web services that are declaratively described in OWL-S. We propose ontologies to annotate OWL-S input and output parameters with respect to their...
The Impact of Context on the Trustworthiness of Communication: An Ontological Approach (2004)
Abstract. We outline a Semantic Web approach for considering the impact of context information on the trustworthiness of communication. We show that the contexts of message sender, receiver, and...
Modeling Group Communication Protocols Using Multiset Term Rewriting (2002)
Protocols for secure group management are essential in applications concerned with con dential authenticated communication among coalition members, authenticated group decisions, or the secure...
Accessing information and services on the daml-enabled web (2001)
Grit Denker, Jerry R. Hobbs, David Martin, Srini Narayanan, Richard Waldinger
Querying the Web today can be a frustrating activity because the results delivered by syntactically oriented search engines often do not match the intentions of the user. The DARPA DAML project aims...
Accessing information and services on the daml-enabled web (2001)
Grit Denker, Jerry R. Hobbs, David Martin, Srini Narayanan, Richard Waldinger
Querying the Web today can be a frustrating activity because the results delivered by syntactically oriented search engines often do not match the intentions of the user. The DARPA DAML project aims...
Optimizing protocol rewrite rules of CIL specifications (2000)
Grit Denker, Jonathan K. Millen
For purposes of security analysis, cryptographic protocols can be translated from a high-level message-list language like CAPSL into a multiset rewriting (MSR) rule language like CIL. The natural...
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis (2000)
We compare two executable languages: the rewriting logic based specification language Maude and the higher-order, lazy, functional programming language Haskell. We compare these languages...
Optimizing protocol rewrite rules of CIL specifications (2000)
Abstract For purposes of security analysis, cryptographic proto-cols can be translated from a high-level message-list language like CAPSL into a multiset rewriting (MSR) rule lan-guage like CIL. The...
PKI and Revocation Survey 1 (2000)
Grit Denker, Jonathan Millen, Yutaka Miyake, Grit Denker, Jonathan Millen, Yutaka Miyake
This survey covers basic information about public key infrastructures and summarizes the predominant technology and standards. Special attention is given to mechanisms for certificate revocation....
Specification and Analysis of a Reliable Broadcasting Protocol in Maude (1999)
Grit Denker, José Meseguer, Peter Csaba Ölveczky, Peter Csaba, Jyoti Raju, ...
Introduction The increasing importance, criticality, and complexity of communications software makes very desirable the application of formal methods to gain high assurance about its correctness....
Syntax . . . . . . . . . . . . . . . . . . . . . 28 CONTENTS ii 3.3 CIL Abstract Syntax . . . . . . . . . . . . . . . . . . . . . . . 31 3.4 Type Checking and the Symbol Table . . . . . . . . . . . ....
Specifying a Reliable Broadcasting Protocol in Maude (1999)
Grit Denker, Peter Csaba, Jyoti Rajuz, Brad Smithz, Carolyn L. Talcottq
This paper presents a formal and executable specification of a new protocol for reliable broadcasting of information in networks with dynamic topology. Reliable broadcasting is not trivial when the...
Denker, Grit, Millen, Jonathan, Rueess, Harald
CAPSL is a Common Authentication Protocol Specification Language intended to support analysis of cryptographic protocols using formal methods. CAPSL is adapted for use by various protocol analysis...
Knowledge Creation Tools for DAML (1998)
Martin, David L., Denker, Grit, Waldinger, Richard, Hobbs, Jerry
This report summarizes the work done by SRI International for DARPA's DAML research program during the period 2000-2005. This work falls into six categories. Using a first-order logic theorem prover,...
A Linear Temporal Logic Approach to Objects with Transactions (1997)
Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
. Our concern is the high level specification of reactive software systems such as information systems. We adopt an object oriented, temporal logic based approach to specification. The notion of...
A Development Environment for an Object Specification Language (1995)
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis
Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL...
Action Reification in Object-Oriented Specification (1995)
Grit Denker, Hans-dieter Ehrich
Reification is a popular technique to reduce complexity of the software design process. This technique has to be re-investigated for the comprehensive objectoriented approach. Object-oriented...
A Development Environment for an Object Specification Language (1995)
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis
Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL...
A Development Environment for an Object Specification Language (1995)
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis
Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL...
Object-Oriented Design of Information Systems: Theoretical Foundations (1994)
Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amilcar Sernadas, Sprachvorschlage Habilitationsschrift, Tu Braunschweig
Data Types, M. Bidoit, C. Choppy (eds.), LNCS 655, SpringerVerlag , Berlin 1992, 40-66 [EM85] Ehrig,H.;Mahr,B.: Fundamentals of Algebraic Specification 1. Springer-Verlag, Berlin 1985 [ES91] Ehrich,...