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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Dimitrakos, Theo
Άλλοι συγγραφείς: Martinelli, Fabio
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Boston, MA International Federation for Information Processing 2005
Σειρά:IFIP International Federation for Information Processing 173
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/b104303
LEADER 01784nom a2200409 u 4500
001 10070595
003 upatras
005 20210604191321.0
008 090513s2005 eng
020 |a 9780387240985 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Dimitrakos, Theo  |9 67003 
245 1 0 |a Formal Aspects in Security and Trust  |h [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 Boston, MA  |b International Federation for Information Processing  |c 2005 
300 |b v.: digital 
490 0 |a IFIP International Federation for Information Processing  |v 173  |x 1571-5736 
650 4 |a Operating systems (Computers)  |9 10146 
650 4 |a Data structures (Computer science)  |9 20006 
650 4 |a Data encryption (Computer science)  |9 64602 
650 4 |a Optical pattern recognition  |9 64632 
650 4 |a Information systems  |9 64256 
650 4 |a Computer science  |9 13995 
650 4 |a Computer Science  |9 64565 
650 4 |a Αξιοπιστία (Μηχανική)  |9 6291 
650 4 |a Data Structures, Cryptology and Information Theory  |9 64603 
650 4 |a Data Encryption  |9 64604 
650 4 |a Pattern perception  |9 10206 
650 4 |a Information Systems and Communication Service  |9 64261 
650 4 |a Models and Principles  |9 64630 
700 1 |a Martinelli, Fabio  |9 67004 
760 1 |a IFIP International Federation for Information Processing  |g 173  |x 1571-5736 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/b104303 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 72050  |a LISP  |b LISP  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y ERS 
999 |c 46840  |d 46840