This 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.
Ivano Malavolta is working toward the Ph.D. degree in computer science in the Computer Science Department at the University of L’Aquila, Italy.His research interests include software architecture languages (ADLs), architectural interchange and interoperability between software architecture notations, and MDE techniques.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This 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. 144 pp. Englisch. N° de réf. du vendeur 9783846542668
Quantité disponible : 2 disponible(s)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Etat : New. N° de réf. du vendeur 26356476185
Quantité disponible : 4 disponible(s)
Vendeur : moluna, Greven, Allemagne
Etat : New. N° de réf. du vendeur 5497894
Quantité disponible : Plus de 20 disponibles
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. Print on Demand. N° de réf. du vendeur 357096134
Quantité disponible : 4 disponible(s)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18356476179
Quantité disponible : 4 disponible(s)
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This 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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 144 pp. Englisch. N° de réf. du vendeur 9783846542668
Quantité disponible : 1 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This 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. N° de réf. du vendeur 9783846542668
Quantité disponible : 1 disponible(s)
Vendeur : preigu, Osnabrück, Allemagne
Taschenbuch. Etat : Neu. A tamper resistant Intrusion Detection System | a CORBA implementation | Ivano Malavolta | Taschenbuch | 144 S. | Englisch | 2011 | LAP LAMBERT Academic Publishing | EAN 9783846542668 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. N° de réf. du vendeur 106733974
Quantité disponible : 5 disponible(s)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Paperback. Etat : Brand New. 144 pages. 8.66x5.91x0.33 inches. In Stock. N° de réf. du vendeur __3846542660
Quantité disponible : 1 disponible(s)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
paperback. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA82938465426606
Quantité disponible : 1 disponible(s)