abac0-leakabac0-mei
Last change
on this file since 831da18 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
100644
|
File size:
904 bytes
|
Rev | Line | |
---|
[7e3f5e2] | 1 | # |
---|
| 2 | # This demonstrates scalability of libabac. |
---|
| 3 | # A basic chaining attribute rule, Ai+1.likes <- Ai.likes |
---|
| 4 | # and the borderline case of Ao.likes <- Ao are created in |
---|
| 5 | # ATTR.py. X of these attribute rules are made, where the |
---|
| 6 | # matching ID principals are made in SETUP.py. |
---|
| 7 | # A query of Ax.likes <-?- Ao will let us know how fast |
---|
| 8 | # do the prolog db runs down the X attribute rules to arrive |
---|
| 9 | # at the solution and also Ao.likes <-?- Ax tells us |
---|
| 10 | # how long it takes to not validate the assumption |
---|
| 11 | |
---|
| 12 | # borderline Credential |
---|
| 13 | # [keyid:John0].role:likes <- [keyid:John0] |
---|
| 14 | # |
---|
| 15 | # [keyid:John1].role:likes <- [keyid:John0].likes |
---|
| 16 | # John1 likes everything John0 likes |
---|
| 17 | # |
---|
| 18 | # [keyid:John2].role:likes <- [keyid:John1].likes |
---|
| 19 | # |
---|
| 20 | # and so on |
---|
| 21 | |
---|
| 22 | # good query, Does JohnN likes John0 ? |
---|
| 23 | # [keyid:JohnN].role:likes <-?- [keyid:John0] |
---|
| 24 | # |
---|
| 25 | # bad query, Does John0 likes JohnN? |
---|
| 26 | # [keyid:John0].role:likes <-?- [keyid:JohnN] |
---|
Note: See
TracBrowser
for help on using the repository browser.