source: libabac/abac.h @ 669b481

mei_rt2mei_rt2_fix_1
Last change on this file since 669b481 was 669b481, checked in by Mei <mei@…>, 12 years ago

1) finish test conversion from creddy-prover to python
2) update the abac.hh/API doc more, adding more intermediate calls

to make abac.hh more uniform

3) found out why a very long attribute rule can not survive in/out of

ietf_attribute_t call (m64 en/decoding - abac_verifier, alice_rt1)
  • Property mode set to 100644
File size: 9.3 KB
Line 
1#ifndef __ABAC_H__
2#define __ABAC_H__
3
4#include <stdlib.h>
5#include <abac_common.h>
6
7typedef struct _abac_context_t abac_context_t;
8typedef struct _abac_credential_t abac_credential_t;
9typedef struct _abac_aspect_t abac_aspect_t;
10typedef struct _abac_attribute_t abac_attribute_t;
11typedef struct _abac_id_t abac_id_t;
12typedef struct _abac_id_credential_t abac_id_credential_t;
13
14typedef struct _abac_condition_t abac_condition_t;
15typedef struct _abac_term_t abac_term_t;
16typedef struct _abac_item_t abac_item_t;
17typedef struct _abac_param_list_t abac_param_list_t;
18
19/* called within abac.hh */
20void abac_errx(int,const char*);
21abac_condition_t *abac_condition_dup(abac_condition_t *ptr);
22void abac_condition_free(abac_condition_t *ptr);
23char *abac_constraint_string(abac_condition_t *ptr);
24char *abac_constraint_typed_string(abac_condition_t *ptr);
25
26void abac_terms_free(abac_term_t **terms);
27abac_term_t *abac_term_dup(abac_term_t *ptr);
28void abac_term_free(abac_term_t *);
29abac_term_t *abac_term_named_create(char*);
30abac_term_t *abac_term_create(char*, char*, abac_condition_t*);
31abac_term_t *abac_term_id_create(abac_id_t *ptr);
32abac_term_t *abac_term_dup(abac_term_t *ptr);
33char *abac_term_typed_string(abac_term_t *ptr);
34char *abac_term_string(abac_term_t *ptr);
35bool abac_term_is_time(abac_term_t *);
36bool abac_term_is_urn(abac_term_t *term);
37bool abac_term_is_integer(abac_term_t *term);
38bool abac_term_is_string(abac_term_t *term);
39abac_term_t *abac_term_add_constraint(abac_term_t *ptr, abac_condition_t *cond);
40int abac_term_type(abac_term_t *term);
41char *abac_term_name(abac_term_t *);
42
43void abac_aspects_free(abac_aspect_t **aspects);
44abac_aspect_t *abac_aspect_dup(abac_aspect_t *ptr);
45void abac_aspect_free(abac_aspect_t *);
46char *abac_aspect_string(abac_aspect_t *ptr);
47char *abac_aspect_typed_string(abac_aspect_t *ptr);
48
49abac_param_list_t *abac_aspect_aspect_params(abac_aspect_t *ptr);
50abac_term_t **abac_param_list_vectorize(abac_param_list_t *ptr);
51abac_param_list_t *abac_aspect_linked_role_params(abac_aspect_t *ptr);
52char *abac_oset_string(abac_aspect_t *ptr);
53char *abac_oset_typed_string(abac_aspect_t *ptr);
54char *abac_role_string(abac_aspect_t *ptr);
55char *abac_role_typed_string(abac_aspect_t *ptr);
56
57abac_id_t *abac_id_dup(abac_id_t *id);
58abac_id_t *abac_id_credential_id(abac_id_credential_t *ptr);
59abac_id_t *abac_id_from_file(char *filename);
60int abac_id_generate(abac_id_t **ret, char *cn, int validity);
61char *abac_id_keyid(abac_id_t *id);
62char *abac_id_cn(abac_id_t *id);
63void abac_id_free(abac_id_t *id);
64int abac_id_has_privkey(abac_id_t *id);
65void abac_id_write_cert(abac_id_t *id, FILE *out);
66int abac_id_write_privkey(abac_id_t *id, FILE *out);
67abac_chunk_t abac_id_cert_chunk(abac_id_t *id);
68char *abac_id_string(abac_id_t *id);
69int abac_id_load_privkey_file(abac_id_t *id, char *filename);
70void abac_id_write_cert_fname(abac_id_t *id, char *filename);
71void abac_id_write_privkey_fname(abac_id_t *id, char *filename);
72
73abac_attribute_t *abac_attribute_dup(abac_attribute_t *ptr);
74void abac_attribute_free(abac_attribute_t *ptr);
75abac_attribute_t *abac_credential_attribute(abac_credential_t *cred);
76int abac_attribute_create(abac_attribute_t **ret,abac_aspect_t *head, abac_aspect_t *tail,int validity);
77abac_attribute_t *abac_attribute_add_tail(abac_attribute_t *ptr, abac_aspect_t *);
78char *abac_attribute_string(abac_attribute_t *ptr);
79char *abac_attribute_typed_string(abac_attribute_t *ptr);
80abac_aspect_t *abac_attribute_head(abac_attribute_t *ptr);
81abac_aspect_t *abac_attribute_tail(abac_attribute_t *ptr);
82
83bool abac_attribute_is_role(abac_attribute_t *ptr);
84abac_aspect_t **abac_attribute_tail_vectorized(abac_attribute_t *ptr);
85int abac_attribute_bake(abac_attribute_t *ptr);
86int abac_attribute_baked(abac_attribute_t *ptr);
87int abac_attribute_write_cert(abac_attribute_t *ptr, FILE *out);
88abac_chunk_t abac_attribute_cert_chunk(abac_attribute_t *ptr);
89void abac_attribute_write_cert_fname(abac_attribute_t *,char*);
90
91void abac_context_principals_free(abac_id_credential_t **principals);
92abac_context_t *abac_context_new(void);
93abac_context_t *abac_context_dup(abac_context_t *ctx);
94void abac_context_free(abac_context_t *ctx);
95void show_yap_db(const char *msg);
96
97abac_credential_t **abac_context_query(abac_context_t *ctx, char *role, char *principal, int *success);
98abac_credential_t **abac_context_query_with_structure(abac_context_t *, abac_aspect_t*, abac_aspect_t*, int*);
99void abac_context_credentials_free(abac_credential_t **);
100abac_credential_t **abac_context_credentials(abac_context_t *);
101abac_id_credential_t **abac_context_principals(abac_context_t *);
102
103/*
104 * Error codes for loading certificates.
105 */
106#define ABAC_CERT_SUCCESS           0   // certificate loaded, all is well
107#define ABAC_CERT_INVALID           -1  // invalid format; also file not found
108#define ABAC_CERT_BAD_SIG           -2  // invalid signature
109#define ABAC_CERT_MISSING_ISSUER    -3  // missing ID cert that issued the attribute cert
110#define ABAC_CERT_BAD_CN            -4  // ID cert is not matching CN=principal format
111#define ABAC_CERT_BAD_YAP           -5  // failed to insert into prolog engine
112#define ABAC_CERT_EXISTS            1   // ID already exists (does not default to a failure)
113
114#define ABAC_ID_SUCCESS                     0
115#define ABAC_ID_GENERATE_INVALID_CN        -1
116#define ABAC_ID_GENERATE_INVALID_VALIDITY  -2
117
118#define ABAC_ATTRIBUTE_SUCCESS              0
119#define ABAC_ATTRIBUTE_INVALID_ROLE        -1
120#define ABAC_ATTRIBUTE_INVALID_VALIDITY    -2
121#define ABAC_ATTRIBUTE_ISSUER_NOKEY        -3
122#define ABAC_ATTRIBUTE_FAIL                -4
123
124#define ABAC_TERM_SUCCESS                   0
125#define ABAC_TERM_FAIL                     -1
126
127#define USE(evalue) ((getenv(evalue)!=NULL)?1:0)
128
129/* from abac_c.c, the c interface */
130void abac_constraint_add_integer_max(abac_condition_t *cond,int val);
131void abac_constraint_add_integer_min(abac_condition_t *cond,int val);
132void abac_constraint_add_integer_target(abac_condition_t *cond,int val);
133void abac_constraint_add_float_max(abac_condition_t *cond,float val);
134void abac_constraint_add_float_min(abac_condition_t *cond,float val);
135void abac_constraint_add_float_target(abac_condition_t *cond,float val);
136void abac_constraint_add_time_max(abac_condition_t *cond,char* val);
137void abac_constraint_add_time_min(abac_condition_t *cond,char* val);
138void abac_constraint_add_time_target(abac_condition_t *cond,char* val);
139void abac_constraint_add_urn_target(abac_condition_t *cond,char* val);
140void abac_constraint_add_string_target(abac_condition_t *cond,char* val);
141void abac_constraint_add_boolean_target(abac_condition_t *cond, char* val);
142abac_condition_t *abac_constraint_from_role(abac_aspect_t *ptr);
143abac_condition_t *abac_constraint_from_oset(abac_aspect_t *ptr);
144abac_condition_t *abac_constraint_create(char *vtype);
145
146abac_aspect_t *abac_role_principal_create(char *principal_name);
147abac_aspect_t *abac_oset_principal_create(char *principal_name);
148abac_aspect_t *abac_oset_create(char *principal_name, char *oset_name);
149abac_aspect_t *abac_role_create(char *principal_name, char *role_name);
150abac_aspect_t *abac_oset_linked_create(char *principal_name, char* linked_role_name, char *oset_name);
151abac_aspect_t *abac_role_linked_create(char *principal_name, char* linked_role_name, char *role_name);
152abac_aspect_t *abac_oset_object_create(abac_term_t *object);
153abac_aspect_t *abac_oset_create(char *principal_name, char *oset_name);
154bool abac_oset_is_object(abac_aspect_t *ptr);
155bool abac_oset_is_principal(abac_aspect_t *ptr);
156bool abac_role_is_principal(abac_aspect_t *ptr);
157bool abac_oset_is_linking(abac_aspect_t *ptr);
158bool abac_role_is_linking(abac_aspect_t *ptr);
159char *abac_role_linked_role(abac_aspect_t *ptr);
160char *abac_oset_linked_role(abac_aspect_t *ptr);
161char *abac_role_name(abac_aspect_t *ptr);
162char *abac_oset_name(abac_aspect_t *ptr);
163char *abac_role_principal(abac_aspect_t *ptr);
164char *abac_oset_principal(abac_aspect_t *ptr);
165void abac_role_add_data_term(abac_aspect_t *ptr, abac_term_t *param);
166void abac_oset_add_data_term(abac_aspect_t *ptr, abac_term_t *param);
167void abac_role_add_linked_data_term(abac_aspect_t *ptr, abac_term_t *param);
168void abac_oset_add_linked_data_term(abac_aspect_t *ptr, abac_term_t *param);
169char *abac_oset_object(abac_aspect_t *ptr);
170abac_term_t **abac_role_get_linked_data_terms(abac_aspect_t *ptr);
171abac_term_t **abac_role_get_data_terms(abac_aspect_t *ptr);
172abac_term_t **abac_oset_get_linked_data_terms(abac_aspect_t *ptr);
173abac_term_t **abac_oset_get_data_terms(abac_aspect_t *ptr);
174abac_aspect_t **abac_attribute_role_tails(abac_attribute_t *ptr);
175abac_aspect_t **abac_attribute_oset_tails(abac_attribute_t *ptr);
176
177
178char *abac_head_string(abac_attribute_t *ptr);
179char *abac_tail_string(abac_attribute_t *ptr);
180char *abac_head_typed_string(abac_attribute_t *ptr);
181char *abac_tail_typed_string(abac_attribute_t *ptr);
182
183int abac_context_load_id_chunk(abac_context_t *ctx, abac_chunk_t cert);
184int abac_context_load_attribute_file(abac_context_t *ctx, char *filename);
185int abac_context_load_id(abac_context_t *ptr, abac_id_t *id);
186int abac_context_load_id_file(abac_context_t *ptr, char *filename);
187int abac_context_load_id_files(abac_context_t *ptr, char *filename, char *keyfilename);
188int abac_context_load_attribute(abac_context_t *ptr, abac_attribute_t *attr);
189void abac_context_load_directory(abac_context_t *ctx, char *path);
190int abac_context_load_attribute_chunk(abac_context_t *ctx, abac_chunk_t cert);
191
192/* exern needed for abac.hh */
193
194#endif /* __ABAC_H__ */
Note: See TracBrowser for help on using the repository browser.