mei_rt2mei_rt2_fix_1
Last change
on this file since c6d5da3 was
f824a9e,
checked in by Mei <mei@…>, 13 years ago
|
1) add more doc to python_tests
|
-
Property mode set to
100755
|
File size:
1.4 KB
|
Line | |
---|
1 | # |
---|
2 | # This example demonstrates linking parameterized roles and delegating across |
---|
3 | # institutions. There are 4 principals USC, ISI, John, and Maryann. USC and |
---|
4 | # ISI are companies, and USC owns ISI. USC sets the policy that the manager of |
---|
5 | # a principal (an employee) has the role of evaluating that employee (and no |
---|
6 | # others). That policy is expressed in Credential 1. Credential 2 says that |
---|
7 | # ISI's assignment of manager roles is accepted by USC. Similarly Credential 4 |
---|
8 | # says that any ISI employee is a USC employee. |
---|
9 | # |
---|
10 | # Credential 3 encodes ISI asserting that John is the manager of Maryann and |
---|
11 | # credentials 5 and 6 idicate that John and Maryann are ISI employees. |
---|
12 | # |
---|
13 | # The query.py script queries that USC grants John the role of evaluator |
---|
14 | # of Maryann, that ISI asserts John is Maryann's manager and that John is an |
---|
15 | # ISI employee. |
---|
16 | |
---|
17 | # evaluator_rt1 |
---|
18 | |
---|
19 | # Credential 1 |
---|
20 | #[keyid:USC].role:evaluatorOf([principal:?K]) |
---|
21 | # <-[keyid:USC].role:managerOf([principal:?K]) |
---|
22 | |
---|
23 | # Credential 2 |
---|
24 | #[keyid:USC].role:managerOf([principal:?K]) |
---|
25 | # <-[keyid:ISI].role:managerOf([principal:?K]) |
---|
26 | |
---|
27 | # Credential 3 |
---|
28 | #[keyid:ISI].role:managerOf([keyid:Maryann]) <- [keyid:John] |
---|
29 | |
---|
30 | # Credential 4 |
---|
31 | #[keyid:USC].role:employee <- [keyid:ISI].role:employee |
---|
32 | |
---|
33 | # Credential 5 |
---|
34 | #[keyid:ISI].role:employee <- [keyid:Maryann] |
---|
35 | |
---|
36 | # Credential 6 |
---|
37 | #[keyid:ISI].role:employee <- [keyid:John] |
---|
38 | |
---|
Note: See
TracBrowser
for help on using the repository browser.