source: examples/python_tests/alumni_rt1/alumni.save @ 669b481

mei_rt2mei_rt2_fix_1
Last change on this file since 669b481 was 669b481, checked in by Mei <mei@…>, 12 years ago

1) finish test conversion from creddy-prover to python
2) update the abac.hh/API doc more, adding more intermediate calls

to make abac.hh more uniform

3) found out why a very long attribute rule can not survive in/out of

ietf_attribute_t call (m64 en/decoding - abac_verifier, alice_rt1)
  • Property mode set to 100644
File size: 804 bytes
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2 
3===bad============ stateU.foundingAlumni <- Bob
4YAP query failed
5
6===good============ stateU.foundingAlumni <- Maryann
7YAP query succeed
8pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955 .. 1958])
9pStateU.diploma('psychology',1956) <- pMaryann
10
11===good============ stateU.foundingAlumni <- Joe
12YAP query succeed
13pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955 .. 1958])
14pStateU.diploma('zoology',1955) <- pJoe
15
16...final principal set...
17(pBob,keyid,y)
18(pJoe,keyid,y)
19(pMaryann,keyid,y)
20(pStateU,keyid,y)
21
22
23
24...final policy attribute set...
25pStateU.diploma('mathmatics',1960) <- pBob
26pStateU.diploma('psychology',1956) <- pMaryann
27pStateU.diploma('zoology',1955) <- pJoe
28pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955 .. 1958])
29
30
Note: See TracBrowser for help on using the repository browser.