Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,58
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 61,25
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,33
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,92
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,86
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 69,92
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,41
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 82,73
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2018
ISBN 10: 3030028488 ISBN 13: 9783030028480
Librería: Revaluation Books, Exeter, Reino Unido
EUR 81,56
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. revised edition. 432 pages. 9.25x6.10x0.91 inches. In Stock.
EUR 87,49
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Idioma: Francés
Publicado por Editions universitaires europeennes, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 54,97
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030028488 ISBN 13: 9783030028480
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 4th International Symposium on Ubiquitous Networking, UNet 2018, held in Hammamet, Morocco, in May 2018. The 35 full papers presented together with 5 short papers in this volume were carefully reviewed and selected from 87 submissions.The focus of UNet is on technical challenges and solutions related to such a widespread adoption of networking technologies, including broadband multimedia, machine-to-machine applications, Internet of things, security and privacy, data engineering, sensor networks and RFID technologies.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Ubiquitous Networking | 4th International Symposium, UNet 2018, Hammamet, Tunisia, May 2 - 5, 2018, Revised Selected Papers | Noureddine Boudriga (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxx | Englisch | 2018 | Springer | EAN 9783030028480 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 106,90
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. New. book.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Librería: moluna, Greven, Alemania
EUR 41,67
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Librería: preigu, Osnabrück, Alemania
EUR 53,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Approche formelle pour la vérification des IDS | Approche formelle pour la vérification des Systèmes de Détection d'Intrusions: Utilisation de TLA+ | Slim Rekhis | Taschenbuch | 148 S. | Französisch | 2010 | Éditions universitaires européennes | EAN 9786131547898 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer International Publishing Nov 2018, 2018
ISBN 10: 3030028488 ISBN 13: 9783030028480
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th International Symposium on Ubiquitous Networking, UNet 2018, held in Hammamet, Morocco, in May 2018. The 35 full papers presented together with 5 short papers in this volume were carefully reviewed and selected from 87 submissions.The focus of UNet is on technical challenges and solutions related to such a widespread adoption of networking technologies, including broadband multimedia, machine-to-machine applications, Internet of things, security and privacy, data engineering, sensor networks and RFID technologies. 432 pp. Englisch.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 60,03
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 81,50
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 57,32
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 81,61
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.
Idioma: Inglés
Publicado por Springer International Publishing, 2018
ISBN 10: 3030028488 ISBN 13: 9783030028480
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 4th International Symposium on Ubiquitous Networking, UNet 2018, held in Hammamet, Morocco, in May 2018. The 35 full papers presented together with 5 short papers in this volume w.
Idioma: Inglés
Publicado por Springer, Springer Nov 2018, 2018
ISBN 10: 3030028488 ISBN 13: 9783030028480
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Ubiquitous Communication Technologies and Networking.- IoT network management and applications.- Mobile Edge Networking and Fog-Cloud Computing.- Ubiquitous Internet of Things: Emerging Technologies and Breakthroughs.- Cyber Security for Ubiquitous Communications.- Special Session on Wireless Networking, Applications and Enabling Technologies for Unmanned Aerial Vehicles.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 432 pp. Englisch.
Idioma: Francés
Publicado por Éditions Universitaires Européennes Nov 2010, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 61,90
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Les Systèmes de Détection d'Intrusions (IDS) ont de nos jours une importance capitale dans la sécurisation des réseaux, ce qui a fait d'eux des cibles d'attaques privilégiées. Face à cet état de fait, le test de leur bon fonctionnement est devenu primordial dans tout processus de sécurisation d'un réseau. Cependant les techniques de test usuelles s'avèrent aujourd'hui insuffisantes. Nous nous sommes intéressés dans ce travail à la modélisation, la spécification, et la vérification formelle des propriétés, des mécanismes, et des protocoles de sécurité des IDS. Pour ce faire, nous avons utilisé le langage de spécification formelle TLA+, et son Model Checker TLC. TLA+ ayant été conçu pour la spécification des systèmes concurrents et répartis, nous l'avons adopté dans le cadre de ce travail pour couvrir des problématiques de sécurité. Après un travail de spécification et de validation des IDS, nous avons proposé une extension à TLA+ et à TLC, afin de pouvoir détecter les cycles indésirables pouvant surgir suite à une spécification erronée. 148 pp. Französisch.
Idioma: Francés
Publicado por Éditions Universitaires Européennes Nov 2010, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 61,90
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Les Systèmes de Détection d'Intrusions (IDS) ont de nos jours une importance capitale dans la sécurisation des réseaux, ce qui a fait d'eux des cibles d'attaques privilégiées. Face à cet état de fait, le test de leur bon fonctionnement est devenu primordial dans tout processus de sécurisation d'un réseau. Cependant les techniques de test usuelles s'avèrent aujourd'hui insuffisantes. Nous nous sommes intéressés dans ce travail à la modélisation, la spécification, et la vérification formelle des propriétés, des mécanismes, et des protocoles de sécurité des IDS. Pour ce faire, nous avons utilisé le langage de spécification formelle TLA+, et son Model Checker TLC. TLA+ ayant été conçu pour la spécification des systèmes concurrents et répartis, nous l'avons adopté dans le cadre de ce travail pour couvrir des problématiques de sécurité. Après un travail de spécification et de validation des IDS, nous avons proposé une extension à TLA+ et à TLC, afin de pouvoir détecter les cycles indésirables pouvant surgir suite à une spécification erronée.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 148 pp. Französisch.
Idioma: Francés
Publicado por Éditions Universitaires Européennes, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 62,64
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Les Systèmes de Détection d'Intrusions (IDS) ont de nos jours une importance capitale dans la sécurisation des réseaux, ce qui a fait d'eux des cibles d'attaques privilégiées. Face à cet état de fait, le test de leur bon fonctionnement est devenu primordial dans tout processus de sécurisation d'un réseau. Cependant les techniques de test usuelles s'avèrent aujourd'hui insuffisantes. Nous nous sommes intéressés dans ce travail à la modélisation, la spécification, et la vérification formelle des propriétés, des mécanismes, et des protocoles de sécurité des IDS. Pour ce faire, nous avons utilisé le langage de spécification formelle TLA+, et son Model Checker TLC. TLA+ ayant été conçu pour la spécification des systèmes concurrents et répartis, nous l'avons adopté dans le cadre de ce travail pour couvrir des problématiques de sécurité. Après un travail de spécification et de validation des IDS, nous avons proposé une extension à TLA+ et à TLC, afin de pouvoir détecter les cycles indésirables pouvant surgir suite à une spécification erronée.