Inproceedings,

Informal top-level specifications for trusted application systems.

, , , and .
ACSAC, page 423-433. IEEE, (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews