[IFIP International Federation for Information Processing] History of Nordic Computing Volume 174 || Algol-Genius
- 作者Bubenko, Janis; Impagliazzo, John; Sølvberg, Arne
- 文件大小859.22KB
- 发表时间2005
- DOI10.1007/0-387-24168-x_23
- 页码251-260
PrefaceTheo Dimitrakos; Fabio Martinelli · 2009
Guest Editors’ PrefaceTheo Dimitrakos; Fabio Martinelli; Peter Y. A. Ryan; Steve Schneider · International Journal of Information Security · 2007
Special issue on security and trust management for dynamic coalitionsTheo Dimitrakos; Fabio Martinelli; Bruce Schneier · 2010
[IFIP International Federation for Information Processing] Formal Aspects in Security and Trust Volume 173 || Family SecretsDimitrakos, Theo; Martinelli, Fabio · 2005
[IFIP International Federation for Information Processing] Formal Aspects in Security and Trust Volume 173 || A Trust Model with Statistical FoundationDimitrakos, Theo; Martinelli, Fabio · 2005
[IFIP International Federation for Information Processing] Formal Aspects in Security and Trust Volume 173 || Pattern-Matching Spi-CalculusDimitrakos, Theo; Martinelli, Fabio · 2005
[IFIP International Federation for Information Processing] Formal Aspects in Security and Trust Volume 173 || Complementing Computational Protocol Analysis with Formal SpecificationsDimitrakos, Theo; Martinelli, Fabio · 2005
[IFIP International Federation for Information Processing] Formal Aspects in Security and Trust Volume 173 || Formal Analysis of a Fair Payment ProtocolDimitrakos, Theo; Martinelli, Fabio · 2005