mei_rt2mei_rt2_fix_1
|
Last change
on this file since 4a8f84a 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
|
| Line | |
|---|
| 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.
