Formal Aspects in Security and Trust - Dimitrakos, Theo; Kanade, Takeo; Martinelli, Fabio; Ryan, Peter Y. A.; Schneider, Steve; Kittler, Josef (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Computer Science (Hardware & Networks)