Sandhu, R.S. "The Demand Operation in the Schematic Protection Model." Information Processing Letters 32(4):213-219 (1989). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Undecidability Of Safety For The Schematic Protection Model With.. - Sandhu (1990) (1 citation) Self-citation (Sandhu) (Correct)
....of specifying revocation policies. In SPM there are three operations which change the protection state: copy, demand and create. Demand is not used in the construction of this paper and is mentioned here only for the sake of completeness. Demand in now actually known to be formally redundant [15]. 2.2 THE COPY OPERATION The copy operation moves a copy of a ticket from the domain of one subject to the domain of another leaving the original ticket intact. We often speak of copying a ticket from one subject to another, although technically a ticket is copied from one subject s domain to ....
Sandhu, R.S. "The Demand Operation in the Schematic Protection Model." Information Processing Letters 32(4):213-219 (1989).
Expressive Power of the Schematic Protection Model - Sandhu (1992) (4 citations) Self-citation (Sandhu) (Correct)
....respect to presence of control tickets for these two subjects. That the definition should depend only on the presence and not x In its original formulation SPM included a third operation called demand. Demand is not used in the constructions of this paper and is known to be formally redundant [37]. the absence of tickets is a well known principle for protection [31] As a special case we also allow a link predicate which is always true to be defined. Formally we have the following definition. Definition 1 Let dom(U) be the set of tickets possessed by subject U. A local link predicate ....
Sandhu, R.S. "The Demand Operation in the Schematic Protection Model." Information Processing Letters 32(4):213-219 (1989).
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