Skip to content
|
Access key help
Search
Advanced search
A–Z
Contact us
Computer Laboratory
Computer Laboratory
Research
Security Group
CTSRD
Temporally Enhanced Security Logic Assertions (TESLA)
API Documentation
Main Page
Modules
Namespaces
Classes
Files
File List
File Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Groups
Pages
libtesla
src
tesla_key.c
Go to the documentation of this file.
1
/*-
2
* Copyright (c) 2013 Jonathan Anderson
3
* All rights reserved.
4
*
5
* This software was developed by SRI International and the University of
6
* Cambridge Computer Laboratory under DARPA/AFRL contract (FA8750-10-C-0237)
7
* ("CTSRD"), as part of the DARPA CRASH research programme.
8
*
9
* Redistribution and use in source and binary forms, with or without
10
* modification, are permitted provided that the following conditions
11
* are met:
12
* 1. Redistributions of source code must retain the above copyright
13
* notice, this list of conditions and the following disclaimer.
14
* 2. Redistributions in binary form must reproduce the above copyright
15
* notice, this list of conditions and the following disclaimer in the
16
* documentation and/or other materials provided with the distribution.
17
*
18
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
22
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28
* SUCH DAMAGE.
29
*
30
* $Id$
31
*/
32
33
#include "
tesla_internal.h
"
34
35
#ifndef _KERNEL
36
#include <inttypes.h>
37
#include <stdio.h>
38
#endif
39
40
41
#define IS_SET(mask, index) (mask & (1 << index))
42
43
int
44
tesla_key_matches
(
const
struct
tesla_key
*pattern,
const
struct
tesla_key
*k)
45
{
46
assert(pattern != NULL);
47
assert(k != NULL);
48
49
// The pattern's mask must be a subset of the target's (ANY matches
50
// 42 but not the other way around).
51
if
(!
SUBSET
(pattern->
tk_mask
, k->
tk_mask
))
52
return
(0);
53
54
for
(uint32_t i = 0; i <
TESLA_KEY_SIZE
; i++) {
55
// Only check keys specified by the bitmasks.
56
uint32_t mask = (1 << i);
57
if
((pattern->
tk_mask
& mask) != mask)
58
continue
;
59
60
// A non-match of any sub-key implies a non-match of the key.
61
if
(pattern->
tk_keys
[i] != k->
tk_keys
[i])
62
return
(0);
63
}
64
65
return
(1);
66
}
67
68
int32_t
69
tesla_key_union
(
tesla_key
*dest,
const
tesla_key
*source)
70
{
71
for
(uint32_t i = 0; i <
TESLA_KEY_SIZE
; i++) {
72
if
(
IS_SET
(source->
tk_mask
, i)) {
73
if
(
IS_SET
(dest->
tk_mask
, i)) {
74
if
(dest->
tk_keys
[i] != source->
tk_keys
[i])
75
return
(
TESLA_ERROR_EINVAL
);
76
}
else
{
77
dest->
tk_keys
[i] = source->
tk_keys
[i];
78
}
79
}
80
}
81
82
dest->
tk_mask
|= source->
tk_mask
;
83
return
(
TESLA_SUCCESS
);
84
}
85
© 2013 Jonathan Anderson
Information provided by
Jonathan Anderson