|
|
|
Formal Aspects in Security and Trust [electronic resource] : Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider. by Dimitrakos, Theo [editor.] | Martinelli, Fabio [editor.] | Ryan, Peter Y. A [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3866Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Aspects in Security and Trust [electronic resource] : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider. by Dimitrakos, Theo [editor.] | Martinelli, Fabio [editor.] | Ryan, Peter Y. A [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4691Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|