| 000 | 02575nam a22004215i 4500 | ||
|---|---|---|---|
| 999 |
_c395835 _d395835 |
||
| 001 | 395835 | ||
| 003 | ES-MaUEC | ||
| 005 | 20230125220315.0 | ||
| 006 | a||||fo|||| 00| 0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 230125s2022 sz | s |||| 0|eng d | ||
| 020 | _a9783030911539 | ||
| 024 | 7 |
_a10.1007/978-3-030-91153-9 _2doi |
|
| 040 |
_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC |
||
| 050 | 4 |
_aQA76.9.D5 _b2022 EB |
|
| 100 | 1 |
_aAziz, Benjamin _eautor _0(orcid)0000-0001-5089-2025 _1https://orcid.org/0000-0001-5089-2025 _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686237 |
|
| 245 | 1 | 0 |
_aFormal Analysis by Abstract Interpretation : _bCase Studies in Modern Protocols _cby Benjamin Aziz |
| 250 | _a1st edition 2022 | ||
| 264 | 1 |
_aCham _bSpringer International Publishing _c2022 |
|
| 300 |
_a1 recurso en línea (XII, 113 páginas) _b25 ilustraciones |
||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_aelectrónico _bc _2rdamedia |
||
| 338 |
_arecurso electrónico _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF |
||
| 490 | 0 |
_aSpringerBriefs in Applied Sciences and Technology _x2191-5318 |
|
| 505 | 0 | _aIntroduction -- Chapter 1. Program Analysis -- Chapter 2. Process Algebra -- Chapter 3. First Case Study: The MQTT Protocol -- Chapter 4. Second Case Study: The Hermes Protocol -- Chapter 5. Third Case Study: An EV Charging Protocol -- Chapter 6. Conclusion -- Bibliography. | |
| 520 | _aThe book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The book demonstrates how the above method of formal analysis can be used, not only to address the security of systems, but other more general and interesting properties related to the testing, mutating and semantic ambiguity resolution of protocols. The book presents three case studies, all related to current complex protocols and standards used in industry, particularly in the context of IoT and Industry 4.0. | ||
| 988 | _aSpringer_Computer_2022 | ||
| 650 | 7 |
_2embne _9156434 _aProceso distribuido (Informática) |
|
| 650 | 7 |
_2embne _9141180 _aProceso de datos |
|
| 776 | 0 | 8 |
_iPrinted edition: _z9783030911522 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030911546 |
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi-org.ezproxy.universidadeuropea.es/10.1007/978-3-030-91153-9 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 |
_2lcc _cLE |
||
| 998 |
_b01/2023 _dz _eIG _zSI |
||