source: fedd/abac-src/rbtm/test/frontier-creds.txt @ e794984

axis_examplecompt_changesinfo-opsversion-2.00version-3.01version-3.02
Last change on this file since e794984 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham

  • Property mode set to 100644
File size: 306 bytes
Line 
1EPub.discount <- EOrg.preferred ^ EPub.student
2EOrg.preferred <- ACM.member
3EOrg.preferred <- IEEE.member
4ACM.member <- Alice
5ACM.member <- Cindy
6ACM.member <- Brian
7EPub.student <- EPub.university.stuId
8EPub.university <- ABU.accredited
9ABU.accredited <- StateU
10StateU.stuId <- Alice
11StateU.stuId <- Cindy
Note: See TracBrowser for help on using the repository browser.