| Shelfclass_id | 3.N |
| Sortkey | FAST |
| Authors | Theo Dimitrakos |
| Title | FAST 2006: Formal Aspects in Security and Trust: 4th International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006: revised selected papers |
| Publisher | Springer-Verlag |
| Year | c2006 |
| Languages | eng |
| Isbn | 3540752269, 9783540752264 |
| Series | Lecture Notes in Computer Science |
| Volume | 4691 |
| Issn | 0302-9743 |
| Description | viii, 284 p. ill. 24 cm. |
| Record date | 20080901 |
| Location | New York |
| Keywords | Computer security, Formal methods (Computer science), Trust |