source: examples/python_tests/access_rt2/run_prover @ 2e9455f

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

1) get ready for release 0.2.3
2) add forward function declaration in abac_pl_yap.c for

abac_credential_dup

3) tested against freebsd82 and freebsd91
  • Property mode set to 100755
File size: 641 bytes
Line 
1#!/bin/sh
2
3#===bad============ Alpha.access(Read,fileA)<-?-Joe
4#===good============ Alpha.access(Read,fileA)<-?-Bob
5#param1=ABAC.DataTerm("string", "'Read'")
6#param2=ABAC.DataTerm("urn","'file//fileA'")
7
8keystore=`pwd`
9pID=`creddy --keyid --cert ${keystore}/Alpha_ID.pem`
10cID=`creddy --keyid --cert ${keystore}/Joe_ID.pem`
11bID=`creddy --keyid --cert ${keystore}/Bob_ID.pem`
12
13role="[keyid:${pID}].role:access([string:'Read'],[urn:'file//fileA'])"
14principal="[keyid:${cID}]"
15
16env ABAC_CN=1 ../../example_scripts/c/abac_prover "$keystore" "$role" "$principal"
17
18#echo "$keystore" "$role" "$principal"
19#gdb ../../example_scripts/c/abac_prover
20
21
22
Note: See TracBrowser for help on using the repository browser.