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