Cited By
View all- Chong SMeyden R(2015)Using Architecture to Reason about Information SecurityACM Transactions on Information and System Security10.1145/282994918:2(1-30)Online publication date: 9-Dec-2015
- Banks MJacob J(2014)On integrating confidentiality and functionality in a formal methodFormal Aspects of Computing10.1007/s00165-013-0285-426:5(963-992)Online publication date: 1-Sep-2014
- Hoang TMcIver AMeinicke LMorgan CSloane ASusatyo E(2014)Abstractions of non-interference security: probabilistic versus possibilisticFormal Aspects of Computing10.1007/s00165-012-0237-426:1(169-194)Online publication date: 1-Jan-2014
- Show More Cited By