|
" Formal aspects in security and trust : "
Theo Dimitrakos ... [et al.] (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
608711
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
FAST (Workshop)(4th :2006 :, Hamilton, Ont.)
|
| Title & Author
|
:
|
Formal aspects in security and trust : : fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /\ Theo Dimitrakos ... [et al.] (eds.).
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, c2007.
|
| Series Statement
|
:
|
Lecture notes in computer science,; 4691.
|
|
|
:
|
LNCS sublibrary. SL 4, Security and cryptology.
|
| Page. NO
|
:
|
viii, 284 p. :: ill. ;; 24 cm.
|
| ISBN
|
:
|
9783540752264 (pbk.)
|
|
|
:
|
: 3540752269 (pbk.)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| Subject
|
:
|
Computer security, Congresses.
|
| Subject
|
:
|
Formal methods (Computer science), Congresses.
|
| Added Entry
|
:
|
Dimitrakos, Theo.
|
| Parallel Title
|
:
|
FAST 2006.
|
| |