A Definition of Secure Dependencies Using the Logic of Security.

Pierre Bieber Frédéric Cuppens A Definition of Secure Dependencies Using the Logic of Security. 2-11 1991 CSFW db/conf/csfw/csfw1991.html#BieberC91