Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 53,78
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 60,56
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,14
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 57,15
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 60,11
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 69,92
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 66,69
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2018
ISBN 10: 3030028488 ISBN 13: 9783030028480
Da: Revaluation Books, Exeter, Regno Unito
EUR 80,92
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. revised edition. 432 pages. 9.25x6.10x0.91 inches. In Stock.
Condizione: New.
Lingua: Francese
Editore: Editions universitaires europeennes, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 54,79
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030028488 ISBN 13: 9783030028480
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 107,33
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. New. book.
Lingua: Francese
Editore: Éditions universitaires européennes, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Da: moluna, Greven, Germania
EUR 41,67
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Francese
Editore: Éditions universitaires européennes, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Da: preigu, Osnabrück, Germania
EUR 53,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing Nov 2018, 2018
ISBN 10: 3030028488 ISBN 13: 9783030028480
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 74,13
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: PBShop.store US, Wood Dale, IL, U.S.A.
EUR 59,69
Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 56,71
Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 80,40
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Lingua: Inglese
Editore: Springer International Publishing, 2018
ISBN 10: 3030028488 ISBN 13: 9783030028480
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Lingua: Inglese
Editore: Springer, Springer Nov 2018, 2018
ISBN 10: 3030028488 ISBN 13: 9783030028480
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Francese
Editore: Éditions Universitaires Européennes Nov 2010, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 61,90
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Francese
Editore: Éditions Universitaires Européennes Nov 2010, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 61,90
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Francese
Editore: Éditions Universitaires Européennes, 2010
ISBN 10: 6131547890 ISBN 13: 9786131547898
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 62,64
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.