SRI International, Computer Science Laboratory
Grit Denker
- Position:
-
Computer Scientist
- Address:
-
Computer Science Laboratory,EL284
SRI International
333 Ravenswood Ave
Menlo Park California 94025, USA
- Email: denker@csl.sri.com
- Tel: +1 (650) 859-6058
- Fax: +1 (650) 859-2844
specification and verification of communication and security
issues of distributed systems,
semantic models,
(distributed) temporal logic and rewriting logic,
application of formal methods,
object-orientation,
specification of distributed (information) systems,
refinement
The Semantic Firewall
project will develop a formal basis, methods, and tools for Grid
security. The problem is to enforce network security policies
between trust domains in the presence of dynamically changing and
unpredictable Grid communication needs.
By combining conventional Grid security with semantic reasoning methods,
we aim to provide dynamic, adaptive network security (see
Semantic Firewall).
Formal Checklists for Remote Agent Dependability, a
project to develop a formal framework for increasing the dependability
of deep space mission remote systems (see RemoteAgents).
Artifactory Theory, a project that aims at providing
semantic theories for artifacts (see Artifact Theory Group).
In the context of the DARPA funded project DAML (DARPA Agent Markup Language)
an Agent Mark-up language is built that allows users to
provide machine-readable semantic annotations for specific communities of
interest. We intend to generate core theories and knowledge creation tools for
DAML.
TIPE, a project which is concerned with the specification and
verification of cryptographic protocols (see TIPE/CAPSL)
Scalable Certification Revocation, funded by
KDD R&D Laboratories, Inc., Japan. This project aims at
describing and enhancing the state of the art of public key infrastructures,
with special emphasis on scalability for internet applications.
MAUDE: A Wide-Spectrum Formal Language for Secure Active
Networks, a project in the area of specification of Active Networks
using Maude and Rewriting Logic (see Maude and ActiveNets).
All papers are available as (compressed) postscript files.
For an abstract just click on the title.
Slides of some recent talks are availabe as compressed postscript files.
My former TU Braunschweig homepage.
Grit Denker:
denker@csl.sri.com