Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers
著者
書誌事項
Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers
（Lecture notes in computer science, 7140）
Springer, c2012
大学図書館所蔵 全1件
注記
Includes bibliographical references and index