| 000 | 02657nam a22005535i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-28166-2 | ||
| 003 | DE-He213 | ||
| 005 | 20140220083311.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 120210s2012 gw | s |||| 0|eng d | ||
| 020 |
_a9783642281662 _9978-3-642-28166-2 |
||
| 024 | 7 |
_a10.1007/978-3-642-28166-2 _2doi |
|
| 050 | 4 | _aTK5105.5-5105.9 | |
| 072 | 7 |
_aUKN _2bicssc |
|
| 072 | 7 |
_aCOM075000 _2bisacsh |
|
| 082 | 0 | 4 |
_a004.6 _223 |
| 100 | 1 |
_aBarthe, Gilles. _eeditor. |
|
| 245 | 1 | 0 |
_aEngineering Secure Software and Systems _h[electronic resource] : _b4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings / _cedited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
| 300 |
_aXII, 151p. 37 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7159 |
|
| 520 | _aThis book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from 53 submissions. The full papers present new research results in the field of engineering secure software and systems, whereas the idea papers give crisp expositions of interesting, novel ideas in the early stages of development. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer Communication Networks. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aData structures (Computer science). | |
| 650 | 0 | _aData encryption (Computer science). | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aComputer Communication Networks. |
| 650 | 2 | 4 | _aData Encryption. |
| 650 | 2 | 4 | _aSoftware Engineering/Programming and Operating Systems. |
| 650 | 2 | 4 | _aData Structures, Cryptology and Information Theory. |
| 650 | 2 | 4 | _aMath Applications in Computer Science. |
| 650 | 2 | 4 | _aModels and Principles. |
| 700 | 1 |
_aLivshits, Benjamin. _eeditor. |
|
| 700 | 1 |
_aScandariato, Riccardo. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642281655 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7159 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-28166-2 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 |
_c102745 _d102745 |
||