VTechWorks staff will be away for the winter holidays starting Tuesday, December 24, 2024, through Wednesday, January 1, 2025, and will not be replying to requests during this time. Thank you for your patience, and happy holidays!
 

Modeling of MULTI SAFE Protection Enforcement Processes with Extended Petri Nets

Simple item page
dc.contributor.authorHartson, H. Rexen
dc.contributor.authorBalliet, Earl J.en
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-06-19T14:37:17Zen
dc.date.available2013-06-19T14:37:17Zen
dc.date.issued1981en
dc.description.abstractThe various kinds of access decision dependency within a predicate-based model of database protection are classified according to cost of enforcement. Petri nets and some useful extensions are described. Extended Petri nets are used to model the flow of messages and data during protection enforcement within MULTISAFE, a multimodule system architecture for secure database management. The model demonstrates that stated criteria for security are met within MULTISAFE. Of particular interest is the modeling of data dependent access conditions with predicates at Petri net transitions.en
dc.format.mimetypeapplication/pdfen
dc.identifierhttp://eprints.cs.vt.edu/archive/00000862/en
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000862/01/CS81005-R.pdfen
dc.identifier.trnumberCS81005-Ren
dc.identifier.urihttp://hdl.handle.net/10919/20330en
dc.language.isoenen
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen
dc.relation.ispartofHistorical Collection(Till Dec 2001)en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleModeling of MULTI SAFE Protection Enforcement Processes with Extended Petri Netsen
dc.typeTechnical reporten
dc.type.dcmitypeTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
CS81005-R.pdf
Size:
2.1 MB
Format:
Adobe Portable Document Format
Download

Collections

Computer Science Technical Reports