TY  - CONF

T1  - Formalizing and Validating Complex Security Requirements.

JO  - DBSec

UR  - http://www.informatik.uni-trier.de/~ley/db/conf/dbsec/dbsec92.html

PY  - 1992/01/01

AU  - Morris P

AU  - McDermid JA

ED  - Thuraisingham B

ED  - Landwehr CE

PB  - North-Holland

VL  - A-21

SP  - 113

EP  - 124

Y2  - 2024/12/22

ER  -