abac0-leakabac0-mei
Last change
on this file since 2be12d2 was
4f79997,
checked in by Mei <mei@…>, 11 years ago
|
1) add a new scaling test -haystack/ralphs
2) tweak some libabac code here and there
|
-
Property mode set to
100755
|
File size:
1.2 KB
|
Line | |
---|
1 | #!/usr/bin/env sh |
---|
2 | |
---|
3 | if [ -z "${TESTDIR}" ] ; then |
---|
4 | TESTDIR=../.. |
---|
5 | fi |
---|
6 | . ${TESTDIR}/test_util.sh |
---|
7 | keyloc=`pwd` |
---|
8 | |
---|
9 | acme=`$eloc/creddy --keyid --cert $keyloc/Acme_ID.pem` |
---|
10 | alice=`$eloc/creddy --keyid --cert $keyloc/Alice_ID.pem` |
---|
11 | bob=`$eloc/creddy --keyid --cert $keyloc/Bob_ID.pem` |
---|
12 | globotron=`$eloc/creddy --keyid --cert $keyloc/Globotron_ID.pem` |
---|
13 | |
---|
14 | glob_admin="$globotron.admin" |
---|
15 | alice_prin="$alice" |
---|
16 | bob_prin="$bob" |
---|
17 | experiment_create="$acme.experiment_create" |
---|
18 | |
---|
19 | #`$ploc/abac_prover --keystore $keyloc --dump dump.file` |
---|
20 | |
---|
21 | echo "===good=============== Globotron.admin <- Alice" |
---|
22 | runTest creddy_prover_test/experiment_create_rt0 test1 \ |
---|
23 | "$ploc/abac_prover --keystore $keyloc --role $glob_admin --principal $alice_prin" \ |
---|
24 | 0 \ |
---|
25 | "simple query" |
---|
26 | |
---|
27 | |
---|
28 | echo "===bad=============== Globotron.admin <- Bob" |
---|
29 | runTest creddy_prover_test/experiment_create_rt0 test2 \ |
---|
30 | "$ploc/abac_prover --keystore $keyloc --role $glob_admin --principal $bob_prin" \ |
---|
31 | 1 \ |
---|
32 | "no rule support this, should get a partial proof" |
---|
33 | |
---|
34 | echo "===good=============== Acme.experiment_create <- Bob" |
---|
35 | runTest creddy_prover_test/experiment_create_rt0 test3 \ |
---|
36 | "$ploc/abac_prover --keystore $keyloc --role $experiment_create --principal $bob_prin" \ |
---|
37 | 0 \ |
---|
38 | "mutilple rules intersection proof" |
---|
39 | |
---|
40 | |
---|
41 | |
---|
42 | |
---|
Note: See
TracBrowser
for help on using the repository browser.