紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour./ |
作者: |
Nordhoff, Benedikt Heinrich Josef. |
出版者: |
Ann Arbor : ProQuest Dissertations & Theses, : 2021, |
面頁冊數: |
135 p. |
附註: |
Source: Dissertations Abstracts International, Volume: 84-01, Section: B. |
Contained By: |
Dissertations Abstracts International84-01B. |
標題: |
Maps. - |
電子資源: |
http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=29192467 |
ISBN: |
9798835551057 |