mei_rt2mei_rt2_fix_1
Last change
on this file since 20eaefe was
abf8d5d,
checked in by Mei <mei@…>, 12 years ago
|
1) add backtrack/multiple solutions proof code changes and new
examples.
|
-
Property mode set to
100755
|
File size:
719 bytes
|
Rev | Line | |
---|
[abf8d5d] | 1 | #!/usr/bin/env python |
---|
| 2 | |
---|
| 3 | """ |
---|
| 4 | See README for the semantics. This creates principals |
---|
| 5 | used by the example. |
---|
| 6 | """ |
---|
| 7 | import os |
---|
| 8 | import ABAC |
---|
| 9 | |
---|
| 10 | ctxt = ABAC.Context() |
---|
| 11 | |
---|
| 12 | acmeID=ABAC.ID("Acme", 0) |
---|
| 13 | acmeID.id_write_cert("Acme_ID.pem") |
---|
| 14 | acmeID.id_write_privkey("Acme_private.pem") |
---|
| 15 | |
---|
| 16 | bobID=ABAC.ID("Bob", 0) |
---|
| 17 | bobID.id_write_cert("Bob_ID.pem") |
---|
| 18 | bobID.id_write_privkey("Bob_private.pem") |
---|
| 19 | |
---|
| 20 | aliceID=ABAC.ID("Alice", 0) |
---|
| 21 | aliceID.id_write_cert("Alice_ID.pem") |
---|
| 22 | aliceID.id_write_privkey("Alice_private.pem") |
---|
| 23 | |
---|
| 24 | daveID=ABAC.ID("Dave", 0) |
---|
| 25 | daveID.id_write_cert("Dave_ID.pem") |
---|
| 26 | daveID.id_write_privkey("Dave_private.pem") |
---|
| 27 | |
---|
| 28 | globotronID=ABAC.ID("Globotron", 0) |
---|
| 29 | globotronID.id_write_cert("Globotron_ID.pem") |
---|
| 30 | globotronID.id_write_privkey("Globotron_private.pem") |
---|
| 31 | |
---|
| 32 | |
---|
Note: See
TracBrowser
for help on using the repository browser.