Tools

LEADER 02578cam a22005174a 4500

001 ssj0000157221;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 041119s2005 nyua sb 100 0 eng d;

010 a| 2004065098;

020 a| 0387240500 (alk. paper);

035 a| (WaSeSS)ssj0000157221;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA76.9.A25b| W666 2004;

072 7 a| QA2| lcco;

082 00 a| 005.82| 22;

111 2 a| Workshop on Formal Aspects in Security and Trustn| (2nd :d| 2004 :c| Toulouse, France)?| UNAUTHORIZED;

245 10 a| Formal aspects in security and trusth| [electronic resource] :b| IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France /c| edited by Theo Dimitrakos, Fabio Martinelli.;

260 a| New York :b| Springer Science,;

300 a| x, 246 p. :b| ill. ;c| 25 cm.;

490 1 a| International Federation of Information Processing ;v| 173;

504 a| Includes bibliographical references.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer securityv| Congresses.=| ^A256317;

650 0 a| Formal methods (Computer science)v| Congresses.=| ^A422971;

650 0 a| Trustv| Congresses.=| ^A396705;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Dimitrakos, Theo.=| ^A653661;

700 1 a| Martinelli, Fabio,d| 1969-?| UNAUTHORIZED;

711 2 a| IFIP World Computer Congressn| (18th :d| 2004 :c| Toulouse, France)?| UNAUTHORIZED;

830 0 a| International Federation for Information Processing (Series) ;v| 173.=| ^A576099;

856 40 z| Full text available from SpringerLink IFIP Advances in Information and Communication Technology Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=http%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-0-387-24050-3;

947 a| (OCoLC)ocm57068335;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4085000;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085000-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085000-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085000-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

Formal aspects in security and trust IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli.

Author/creator	Workshop on Formal Aspects in Security and Trust
Other author	Dimitrakos, Theo.
Other author	Martinelli, Fabio, 1969-
Other author	IFIP World Computer Congress 2004 : Toulouse, France)
Format	Electronic
Publication Info	New York : Springer Science,
Description	x, 246 p. : ill. ; 25 cm.
Supplemental Content	Full text available from SpringerLink IFIP Advances in Information and Communication Technology Contemporary (1997-present)
Subjects	Computer security--Congresses. Formal methods (Computer science)--Congresses. Trust--Congresses.

Series	International Federation of Information Processing ; 173 International Federation for Information Processing (Series) ; 173. ^A576099
Bibliography note	Includes bibliographical references.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2004065098
ISBN	0387240500 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Formal aspects in security and trust IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli.

Click here for more information about this title

Availability