Skip to main content

Publisher: IOS Press

Volume 9, Number 3, 1 March 2001

Multilevel secure transaction processing
pp. 165-195(31)
Authors: Jajodia, S.; Atluri, V.; Keefe, T.F.; McCollum, C.D.; Mukkamala, R.

Favourites:
ADD
Favourites:
ADD

Model checking security properties of control flow graphs
pp. 217-250(34)
Authors: Besson, F.; Jensen, T.; Le Métayer, D.; Thorn, T.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more