|
../
|
|
compat
|
|
3c30b59
|
11 years
|
Mei |
1) add in new refactored regression testing directory
2) undo the …
|
|
options.h
|
319 bytes
|
461541a
|
11 years
|
Mei |
1) updated original rt0 to remove libstrongswan dependency
a) …
|
|
abac_util.h
|
392 bytes
|
461541a
|
11 years
|
Mei |
1) updated original rt0 to remove libstrongswan dependency
a) …
|
|
abac_set.h
|
435 bytes
|
e2a0f26
|
14 years
|
Mike Ryan |
derive edges from intersections
|
|
abac_xml.h
|
601 bytes
|
d2b198c
|
11 years
|
faber |
Another checkpoint. We can now read mnemonics from credentials.
|
|
prover_plus.cc
|
735 bytes
|
55c272b
|
14 years
|
Mike Ryan |
remove libabac_init and libabac_deinit
|
|
libabac_common.h
|
857 bytes
|
4721618
|
11 years
|
Mei |
1) tested out python and perl test scripts along with
abac_chunk_t …
|
|
abac_list.h
|
875 bytes
|
15200be
|
14 years
|
Mike Ryan |
move libabac into its own directory
|
|
abac_verifier.h
|
901 bytes
|
3c30b59
|
11 years
|
Mei |
1) add in new refactored regression testing directory
2) undo the …
|
|
abac_openssl.h
|
1.1 KB
|
a02c849
|
11 years
|
Mei |
1) add examples from wiki into regression tests
2) add code to …
|
|
abac_list.c
|
1.1 KB
|
15200be
|
14 years
|
Mike Ryan |
move libabac into its own directory
|
|
abac_graph.h
|
1.3 KB
|
d4b3b52
|
12 years
|
faber |
Better partial proofs
|
|
options.c
|
1.5 KB
|
461541a
|
11 years
|
Mei |
1) updated original rt0 to remove libstrongswan dependency
a) …
|
|
abac_util.c
|
1.9 KB
|
9f78e4c
|
11 years
|
faber |
Modify abac_split to be more safe and callers of it to use the …
|
|
prover.c
|
2.1 KB
|
3c30b59
|
11 years
|
Mei |
1) add in new refactored regression testing directory
2) undo the …
|
|
abac_set.c
|
2.1 KB
|
e2a0f26
|
14 years
|
Mike Ryan |
derive edges from intersections
|
|
abac_keyid_map.c
|
5.4 KB
|
6cd69a0
|
11 years
|
faber |
Duplicate returned string to avoid double free.
|
|
abac_role.c
|
9.8 KB
|
94605f2
|
11 years
|
faber |
checkpoint Lots of the way toward mnemonic names, some parsing fixes
|
|
abac_verifier.c
|
10.4 KB
|
d2b198c
|
11 years
|
faber |
Another checkpoint. We can now read mnemonics from credentials.
|
|
abac.c
|
11.1 KB
|
afcafea
|
11 years
|
faber |
Outputs names with bake(Context)
|
|
abac.h
|
11.2 KB
|
34565bf
|
11 years
|
faber |
INterface additions
|
|
abac_id.c
|
12.2 KB
|
3c30b59
|
11 years
|
Mei |
1) add in new refactored regression testing directory
2) undo the …
|
|
abac_attribute.c
|
13.9 KB
|
3c30b59
|
11 years
|
Mei |
1) add in new refactored regression testing directory
2) undo the …
|
|
abac_openssl.c
|
17.1 KB
|
3c30b59
|
11 years
|
Mei |
1) add in new refactored regression testing directory
2) undo the …
|
|
abac_graph.c
|
17.9 KB
|
d4b3b52
|
12 years
|
faber |
Better partial proofs
|
|
abac.hh
|
22.3 KB
|
3c30b59
|
11 years
|
Mei |
1) add in new refactored regression testing directory
2) undo the …
|
|
utlist.h
|
36.1 KB
|
15200be
|
14 years
|
Mike Ryan |
move libabac into its own directory
|
|
abac_xml.c
|
50.6 KB
|
afcafea
|
11 years
|
faber |
Outputs names with bake(Context)
|
|
uthash.h
|
63.0 KB
|
15200be
|
14 years
|
Mike Ryan |
move libabac into its own directory
|
