public class SecurityLattice
extends java.lang.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 java.lang.String |
BOTTOM |
private java.util.Set<SecurityLattice.SecurityDomain> |
hash |
private SecurityLattice.SecurityDomain |
top |
private static java.lang.String |
TOP |
Constructor and Description |
---|
SecurityLattice()
Creates a two-element lattice.
|
Modifier and Type | Method and Description |
---|---|
(package private) SecurityLattice.SecurityDomain |
addDomain(java.lang.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 java.lang.String TOP
private static final java.lang.String BOTTOM
private final SecurityLattice.SecurityDomain top
private final SecurityLattice.SecurityDomain bottom
private final java.util.Set<SecurityLattice.SecurityDomain> hash
SecurityLattice.SecurityDomain addDomain(java.lang.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)