{"product_id":"a-tamper-resistant-intrusion-detection-system-von-ivano-malavolta","title":"A tamper resistant Intrusion Detection System","description":"\u003cp\u003eThis book describes the implementation of a tamper resistant intrusion detection system that monitors security properties at architectural level. In our system model we assume to have a black-box-component-based application where all components run concurrently and interact with each other exchanging messages. A message encodes information about the type of communication, i.e. a request or a reply, the kind of service, its parameters and the (returned) data.    Our tool takes as an input a specification describing the component based application in terms of the messages requested\/accepted by the components, and a formal specification of the components messages exchage.  Given the above specification the DESERT tool generates a set of filters specifications that are assigned one for each component of the system.     Our main purpose is to implement a set of utilities that given a filter specification generate its CORBA implementation. Therefore, we assume that the components communicate by means of the CORBA middleware. Finally, we validate our implementation by means of a real case study.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783846542668\"\u003e\u003ch3\u003ea CORBA implementation\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783846542668","offer_id":39471223341149,"sku":"9783846542668","price":59.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/f9a55eb4-da6f-4fce-81d2-6ab09021ea09.jpg?v=1758259457","url":"https:\/\/shop.autorenwelt.de\/products\/a-tamper-resistant-intrusion-detection-system-von-ivano-malavolta","provider":"Autorenwelt Shop","version":"1.0","type":"link"}