public class SecurityLattice extends Object
Modifier and Type | Class and Description |
---|---|
class |
SecurityLattice.SecurityDomain
The kind of elements to the security lattice.
|
Modifier and Type | Field and Description |
---|---|
private SecurityLattice.SecurityDomain |
bottom |
private static String |
BOTTOM |
private Set<SecurityLattice.SecurityDomain> |
hash |
private SecurityLattice.SecurityDomain |
top |
private static String |
TOP |
Constructor and Description |
---|
SecurityLattice()
Creates a two-element lattice.
|
Modifier and Type | Method and Description |
---|---|
(package private) SecurityLattice.SecurityDomain |
addDomain(String name)
Creates a new security domain and adds it to the lattice.
|
SecurityLattice.SecurityDomain |
bottom() |
boolean |
contains(SecurityLattice.SecurityDomain d) |
(package private) void |
putSubDomain(SecurityLattice.SecurityDomain sup,
SecurityLattice.SecurityDomain sub)
Refine the lattice by declaring a sub-domain relation between two domains.
|
SecurityLattice.SecurityDomain |
top() |
private static final String TOP
private static final String BOTTOM
private final SecurityLattice.SecurityDomain top
private final SecurityLattice.SecurityDomain bottom
private final Set<SecurityLattice.SecurityDomain> hash
SecurityLattice.SecurityDomain addDomain(String name)
name
- name of the new domain (must not be "top" or "bottom")void putSubDomain(SecurityLattice.SecurityDomain sup, SecurityLattice.SecurityDomain sub)
public SecurityLattice.SecurityDomain top()
public SecurityLattice.SecurityDomain bottom()
public boolean contains(SecurityLattice.SecurityDomain d)