Access control and verification in Petri-net-based hyperdocuments
Stotts, P.D.; Furuta, R.
Computer Assurance, 1989. COMPASS apos;89, apos;Systems Integrity, Software Safety and Process Securityapos;, Proceedings of the Fourth Annual Conference on
Volume , Issue , 19-23 Jun 1989 Page(s):49 - 55
Digital Object Identifier 10.1109/CMPASS.1989.76038
Summary:The Petri-net-based trellis model of hypertext is briefly
described, and the access control capabilities that the model provides
for hyperdocuments is discussed. The trellis model captures not only the
logical relationships among information elements, but also the dynamic
properties of a reader's experience when browsing a document. 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. While many
of the access capabilities described are not different from those
available with graph augmentation techniques, it is believed that the
Petri net notation is as intuitively easy to use while being more
succinct and convenient
View citation and abstract |
Cart
