Joachim Biskup, Thomas Leineweber  Home/Search
Context Related
| ls6www.informatik...neweber:2001.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ls6www.informatik.unidortmun... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Distributed systems consist of many dierent objects, participating in distributed activity sequences. We present a system for state-dependent security decisions (SDSD), which can be used to specify and to enforce sets of allowed activity sequences. A speci cation is expressed as a protocol, which de nes such a set as a regular language. The protocol is transformed into a nite automaton. Instantiated copies of the automaton are deployed by the actually participating objects, each of... (Update)
Cited by: More
Administration Rights in the SDSD-System - Biskup, Leineweber, Parthe (2003) (Correct)
Active bibliography (related documents): More All
0.2: An Authorization Model for Workflows - Atluri, Huang (1996) (Correct)
0.2: Trust-Adapted Enforcement of Security Policies in Distributed .. - Herrmann, Krumm (2001) (Correct)
0.2: Authorization And Access Control Of Application Data In.. - Wu, Sheth, Miller, Luo (2002) (Correct)
Similar documents based on text: More All
0.2: Fast Direct Methods for Real-Time Optimization of.. - Leineweber, Bock.. (Correct)
0.2: Towards Secure Mediation - Biskup, Flegel, Karabulut (1998) (Correct)
0.2: Approaches to the Formal Verification of Hybrid Systems - Kowalewski, Herrmann.. (2000) (Correct)
BibTeX entry: (Update)
Joachim Biskup and Thomas Leineweber. State-dependent security decisions for distributed object-systems. In Martin S. Olivier and David L. Spooner, editors, Database and Application Security XV, pages 105--118. Kluwer, 2002. http://citeseer.ist.psu.edu/biskup01statedependent.html More
@inproceedings{ biskup01statedependent,
author = "Joachim Biskup and Thomas Leineweber",
title = "State-Dependent Security Decisions for Distributed Object-Systems",
booktitle = "{IFIP} Workshop on Database Security",
pages = "105-118",
year = "2001",
url = "citeseer.ist.psu.edu/biskup01statedependent.html" }
Citations (may not include all citations):8 A Primitive for Applying Role-based Access Controls in Colla.. (context) - Thomas, Control - 1997
4 A semantic-based execution model for multilevel secure work .. - Atluri, Huang et al. - 2000
4 About the enforcement of state dependent security speci cati.. (context) - Biskup, Eckert - 1994
1 A Flexible Model Supporting the Speci cation and Enforcement.. (context) - Bertino, Ferrari et al. - 1997
1 kationen und ihre Durchsetzung (context) - Eckert - 1997
1 and Gerald Quirchmayr (context) - Ellmer, Pernul - 1994
1 RoleBased Addess Control Method (context) - Sandhu, Coyne et al. - 1996
1 ow Management: From Process Modeling to Work ow Automation I.. (context) - Georgakopoulos, Hornick et al. - 1995
1 A ticket-based access control architecture for object system.. (context) - Hale, Threet et al. - 2000
1 An Integration of Role-Based Access Control and Activity-Bas.. (context) - Oh, Park - 2000
http://www.omg.org/technology/documents/formal/
Documents on the same site (http://ls6-www.informatik.uni-dortmund.de/issi/): More
Refusal is Better than Lying - Biskup (1999) (Correct)
A Mediator for Multimedia Systems - Biskup, Freitag, Karabulut, Sprick (1997) (Correct)
Extracting Information from Heterogeneous Information Sources .. - Biskup, Embley (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC