|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| DelegatingPrincipal | |
| Principal | This is implemented in Java so that the constructor can provide default labels so that a Principal p can be labelled with {p→_; p←p}. |
| Principal._Static | |
| Class Summary | |
|---|---|
| DelegatingPrincipal._Impl | |
| DelegatingPrincipal._Proxy | |
| Principal._Impl | |
| Principal._Proxy | |
| Principal._Static._Impl | |
| Principal._Static._Proxy | |
| SecurityCache | A cache of acts-for relationships and relabelling judgements. |
Core fabric language security mechanisms.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||