source: examples/passphrase_tests/creddy_prover/acme_rockets_rt0/query.save @ 340bd01

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

1) modified code all around to add support for encrypted private key for

ID credential

2) add new abac_key_t structure (abac_key.c)
3) add new keycheck option to creddy
4) add 2 new test suites
  • Property mode set to 100644
File size: 803 bytes
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2 
3===good============ Acme.preferred_customer <- Coyote
4% Restoring file /usr/local/lib/Yap/startup.yss
5YAP query succeed
6prover success!!
7credentials needed :
8 pAcme.preferred_customer  <- pCoyote
9 
10===good=============== Acme.buy_rockets <- Coyote
11% Restoring file /usr/local/lib/Yap/startup.yss
12YAP query succeed
13prover success!!
14credentials needed :
15 pAcme.buy_rockets  <- pAcme.preferred_customer
16 pAcme.preferred_customer  <- pCoyote
17 
18===bad=============== Acme.buy_rockets <- Acme.preferred_customer
19% Restoring file /usr/local/lib/Yap/startup.yss
20fail, a.o <- b.o and a.r <- a.r query is not implemented yet !!!
21 
22===bad=============== Coyote.friend <- Acme
23% Restoring file /usr/local/lib/Yap/startup.yss
24YAP query failed
25prover failed!!
Note: See TracBrowser for help on using the repository browser.