國立高雄大學圖資館 |

Language: English

Back

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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal Aspects in Security and Trust :edited by Theo Dimitrakos, Fabio Martinelli.
Reminder of title:	IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France /
other author:	Martinelli, Fabio.
corporate name:
Published:	Boston, MA :International Federation for Information Processing,2005.
Description:	v.: digital
Series:	IFIP International Federation for Information Processing, ;
Subject:	Operating systems (Computers)
Online resource:	http://dx.doi.org/10.1007/b104303
ISBN:	9780387240503 (paper)

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 /
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 /[electronic resource] :edited by Theo Dimitrakos, Fabio Martinelli. - Boston, MA :International Federation for Information Processing,2005. - v.: digital - IFIP International Federation for Information Processing, ;173,1571-5736 ;.

ISBN: 9780387240503 (paper)Subjects--Topical Terms:

182106
Operating systems (Computers)

LC Class. No.: QA76.9.A25 / W666 2004

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 /
LDR:00975nmm _22002175a_450 001 174903
003 Springer
005 20070808113638.0
006 m e
007 cr nn 008mamaa
008 090528s2005 nyu j eng d
020 $a 9780387240503 (paper)
020 $a 9780387240985 (electronic bk.)
035 $a 00279317
050 0 0 $a QA76.9.A25 $b W666 2004
090 $a QA76.9.A25 $b W927 2004
111 0 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Formal Aspects in Security and Trust : $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. $h [electronic resource] :
260 # $a Boston, MA : $c 2005. $b International Federation for Information Processing,
300 $b v.: digital
440 0 $a IFIP International Federation for Information Processing, ; $v 173, $x 1571-5736 ;
650 # 0 $a Operating systems (Computers) $3 182106
650 # 0 $a Data structures (Computer science) $3 183917
650 # 0 $a Data encryption (Computer science) $3 184520
650 # 0 $a Optical pattern recognition $3 253633
650 # 0 $a Information systems $3 253319
650 # 0 $a Computer science $3 252805
650 # 0 $a Computer Science $3 253538
650 # 0 $a Performance and Reliability $3 253693
650 # 0 $a Data Structures, Cryptology and Information Theory $3 253554
650 # 0 $a Data Encryption $3 253555
650 # 0 $a Pattern Recognition $3 253634
650 # 0 $a Information Systems and Communication Service $3 253323
650 # 0 $a Models and Principles $3 253550
700 0 # $a Martinelli, Fabio. $3 253691
700 0 # $a Dimitrakos, Theo. $3 253690
856 4 0 $u http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/b104303 $z http://dx.doi.org/10.1007/b104303
950 $a Computer Science (Springer-11645; ZDB-2-SCS)