000 | 03038nam a22005295i 4500 | ||
---|---|---|---|
999 |
_c200433704 _d51916 |
||
003 | DE-He213 | ||
005 | 20231104114207.0 | ||
007 | cr nn 008mamaa | ||
008 | 150227s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319156187 _z978-3-319-15618-7 |
||
024 | 7 |
_a10.1007/978-3-319-15618-7 _2doi |
|
040 |
_aTR-AnTOB _beng _cTR-AnTOB _erda |
||
050 | 4 | _aTK5105.5-5105.9 | |
072 | 7 |
_aUKN _2bicssc |
|
072 | 7 |
_aCOM075000 _2bisacsh |
|
072 | 7 |
_aUKN _2thema004.6 _223 |
|
245 | 1 | 0 |
_aEngineering Secure Software and Systems : _b7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings / _cedited by Frank Piessens, Juan Caballero, Nataliia Bielova. |
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
300 | _a1 online resource | ||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 0 |
_aSecurity and Cryptology ; _v8978 |
|
505 | 0 | _aFormal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control. | |
520 | _aThis book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measurements ontologies; and access control. | ||
650 | 0 | _aComputer Communication Networks. | |
650 | 0 | _aData encryption (Computer science). | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer software. | |
650 | 0 | _aComputer science. | |
650 | 1 | 4 |
_aComputer Communication Networks. _0http://scigraph.springernature.com/things/product-market-codes/I13022 |
650 | 2 | 4 |
_aCryptology. _0http://scigraph.springernature.com/things/product-market-codes/I28020 |
650 | 2 | 4 |
_aSoftware Engineering/Programming and Operating Systems. _0http://scigraph.springernature.com/things/product-market-codes/I14002 |
650 | 2 | 4 |
_aAlgorithm Analysis and Problem Complexity. _0http://scigraph.springernature.com/things/product-market-codes/I16021 |
650 | 2 | 4 |
_aMath Applications in Computer Science. _0http://scigraph.springernature.com/things/product-market-codes/I17044 |
650 | 2 | 4 |
_aModels and Principles. _0http://scigraph.springernature.com/things/product-market-codes/I18016 |
700 | 1 |
_aPiessens, Frank. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aCaballero, Juan. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aBielova, Nataliia. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
856 | 4 | 0 |
_uhttps://doi.org/10.1007/978-3-319-15618-7 _3Springer eBooks _zOnline access link to the resource |
942 |
_2lcc _cEBK |
||
041 | _aeng |