9786131547898 - 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+ (omn.univ.europ.) de rekhis-s (8 resultados)
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,97
Envío por EUR 13,81Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 41,67
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. 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.
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,03
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,32
Envío por EUR 4,80Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. 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.
Idioma: Francés
Editorial: Éditions Universitaires Européennes Nov 2010 2010
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,90
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. 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 fonctionnem…ent 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
Editorial: Éditions Universitaires Européennes Nov 2010 2010
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,90
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. 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.
- Tapa blanda
- Impresión bajo demanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,64
Envío por EUR 61,19Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. 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 e…st 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.
