10. S&P 1989:
Oakland, California, USA
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
M. Schaefer :
Symbol Security Condition Considered Harmful.
20-46
export record as
dblp key:
export record as
dblp key:
Li Gong :
A Secure Identity-Based Capability System.
56-63
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Teresa F. Lunt :
Aggregation and Inference: Facts and Fallacies.
102-109
export record as
dblp key:
export record as
dblp key:
J. Wilson :
A Security Policy for an A1DBMS (a Trusted Subject).
116-125
export record as
dblp key:
export record as
dblp key:
Catherine Meadows :
Using Narrowing in the Analysis of Key Management Protocols.
138-147
export record as
dblp key:
M. R. Cornwell :
A Software Engineering Approach to Designing Trustworthy Software.
148-156
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
J. Jacob :
On the Derivation of Secure Components.
242-247
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Lee Badger :
A Model for Specifying Multi-Granularity Integrity Policies.
269-277
export record as
dblp key:
export record as
dblp key:
Dan M. Nessett :
Layering Central Authentication on Existing Distributed System Terminal Services.
290-299
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
