For the most recent entries see the Petri Nets Newsletter.

Access Control and Verification in Petri-Net-Based Hyperdocuments.

Stotts, P.D.; Furuta, R.

In: COMPASS'89. Proceedings of the Fourth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security, 1989, Gaithersburg, MD, USA, pages 49-55. 1989.

Abstract: The Petri-net-based Trellis model of hypertext is briefly described, and the access control capabilities that the model provides for hyperdocuments is discussed. Using the Petri-net formalism, a hypertext document can be written so that different classes of readers can be allowed or denied access to various portions of the document. The use of browsing restrictions and multiple document versions to implement access classes is discussed.

Keywords: access control access verification; hyperdocuments; hypertext; Trellis model.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography