| 000 | 00960 a2200253 4500 | ||
|---|---|---|---|
| 001 | 325898 | ||
| 003 | OSt | ||
| 005 | 20240504123729.0 | ||
| 008 | 220606b |||||||| |||| 00| 0 eng d | ||
| 020 | _a978-3-642-12459-4 | ||
| 040 | _cIITB | ||
| 041 | _aeng | ||
| 245 | _aFormal aspects in security and trust : 6th international workshop, FAST, Eindhoven, The Netherlands, Nov. 5-6, 2009 : revised selected papers (e-book) | ||
| 260 |
_aBerlin _bSpringer _c2010 |
||
| 440 |
_922935 _aLecture Notes in Computer Science (LNCS) _vv.5983 |
||
| 440 |
_aLNCS Sublibrary : SL 4 – Security and cryptology _945005 |
||
| 650 |
_aComputer Science and Engineering _97673 |
||
| 650 | 0 |
_aComputer security _vCongresses _96232 |
|
| 650 | 0 |
_aFormal methods (Computer science) _vCongresses _96794 |
|
| 650 | 0 |
_aTrust _vCongresses _945083 |
|
| 700 |
_aKitagawa, Hiroyuki...[et al.] _eEditor _945033 |
||
| 856 | _uhttps://doi.org/10.1007/978-3-642-12459-4 | ||
| 942 |
_cEB _2udc |
||
| 999 |
_c169523 _d169523 |
||