2011
DOI: 10.1007/978-3-642-22365-5_2
|View full text |Cite
|
Sign up to set email alerts
|

Time Validity in Role-Based Trust Management Inference System

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
5
0

Year Published

2011
2011
2016
2016

Publication Types

Select...
2
2
1

Relationship

1
4

Authors

Journals

citations
Cited by 6 publications
(5 citation statements)
references
References 5 publications
0
5
0
Order By: Relevance
“…Inference rules with time validity for RT 0 were originally introduced in a slightly different way in [14]. In [13] we tried to extend the potential of RT T language by adding time validity constraints. Most permissions are in fact given for fixed periods of time, permanent permissions are less common.…”
Section: A Time Validity In Rt Tmentioning
confidence: 99%
See 1 more Smart Citation
“…Inference rules with time validity for RT 0 were originally introduced in a slightly different way in [14]. In [13] we tried to extend the potential of RT T language by adding time validity constraints. Most permissions are in fact given for fixed periods of time, permanent permissions are less common.…”
Section: A Time Validity In Rt Tmentioning
confidence: 99%
“…All the semantics previously defined for RT T + , set-theoretic (which maps roles to a set of entity names), operational semantics (where credentials can be derived from the initial set of credentials using a set of inference rules [13]), and logic-programming (where credentials are translated into a logic program [12]), are still valid, meaning that proofs of the soundness and the completeness of that semantics are also valid.…”
Section: Example 63 (The Right Order Of Signature)mentioning
confidence: 99%
“…So far the family consists of: RT 0 , RT 1 , RT 2 , RT T , RT D languages [2], [5]- [7] which are progressively increasing in expressive power and complexity. For language RT T which is backwards compatible with RT 0 , RT 1 and RT 2 , in [8] time validity of credentials is proposed. The extended versions of these languages are referenced as RT T + , RT 2+ , RT 1+ , and RT 0+ .…”
Section: Rt-family Trust Management Languagementioning
confidence: 99%
“…B.main(?rol, ?dom, ?rig, ?lev) in V (8) where: rol -may take values from set {ADMIN,USER,AUDIT}, dom -may take all defined domains, right -may take all defined values, lev -may take all defined values.…”
Section: Main Rolementioning
confidence: 99%
“…Definition 2: from [46] The initial set of formulae of an inference system over a set C P of RT T + credentials are all in the form: c in v ∈ C P for each credential c valid in time v in C P. The inference rules of the system are the following:…”
Section: Inference System Over Rt Tmentioning
confidence: 99%