source: examples/python_tests/alumni3_ctxt_rt1/ctxt.save @ 11ca336

mei_rt2
Last change on this file since 11ca336 was 2e9455f, checked in by Mei <mei@…>, 11 years ago

1) added namespace
2) tweak ?This,
3) allowing linking role/oset as constraining conditions
4) adding access_tests regression testing that uses GENI's access policy
5) added couple multi contexts regression tests
6) add compression/uncompression calls to abac_encode_string/abac_decode_string
(libstrongwan only allows 512 char for attribute rule storage)
7) add attribute_now option to creddy that takes a whole char string for attribute
rule
  • Property mode set to 100644
File size: 2.0 KB
Line 
1
2...ctxtA principals
3(pStateU,keyid,y)
4(pBob,keyid,n)
5(pMark,keyid,n)
6
7...ctxtA attributes
8pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
9pStateU.diploma('mathmatics',1961) <- pBob
10pStateU.diploma('mathmatics',1965) <- pMark
11
12...ctxtB principals
13(pStateU,keyid,y)
14(pBob,keyid,n)
15(pMark,keyid,n)
16(pJoe,keyid,n)
17(pMaryann,keyid,n)
18(pJan,keyid,n)
19
20...ctxtB attributes
21pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
22pStateU.diploma('mathmatics',1961) <- pBob
23pStateU.diploma('mathmatics',1965) <- pMark
24pStateU.diploma('zoology',1961) <- pJoe
25pStateU.diploma('psychology',1962) <- pMaryann
26pStateU.diploma('psychology',1960) <- pJan
27
28...ctxtC principals
29(pStateU,keyid,y)
30(pMaryann,keyid,n)
31(pJan,keyid,n)
32
33...ctxtC attributes
34pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
35pStateU.diploma('psychology',1962) <- pMaryann
36pStateU.diploma('psychology',1960) <- pJan
37
38
39===good============ ctxtA,stateU.foundingAlumni <- Bob
40YAP query succeed
41pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
42pStateU.diploma('mathmatics',1961) <- pBob
43
44
45===good============ ctxtB,stateU.foundingAlumni <- Bob
46YAP query succeed
47pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
48pStateU.diploma('mathmatics',1961) <- pBob
49
50
51===bad============ ctxtC,stateU.foundingAlumni <- Bob
52YAP query failed
53
54
55===bad============ ctxtA,stateU.foundingAlumni <- Jan
56YAP query failed
57
58
59===good============ ctxtB,stateU.foundingAlumni <- Jan
60YAP query succeed
61pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
62pStateU.diploma('psychology',1960) <- pJan
63
64
65===good============ ctxtC,stateU.foundingAlumni <- Jan
66YAP query succeed
67pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
68pStateU.diploma('psychology',1960) <- pJan
Note: See TracBrowser for help on using the repository browser.