Security and Protection in Information Processing Systems || Analyzing Network Management Effects with SPIN and cTLA
Deswarte, Yves, Cuppens, Frédéric, Jajodia, Sushil, Wang, LingyuVolume:
10.1007/b9
Year:
2004
Language:
english
DOI:
10.1007/1-4020-8143-X_5
File:
PDF, 2.23 MB
english, 2004