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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783846542668
Anzahl: 2 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. Bestandsnummer des Verkäufers 26356476185
Anzahl: 4 verfügbar
Anbieter: moluna, Greven, Deutschland
Zustand: New. Bestandsnummer des Verkäufers 5497894
Anzahl: Mehr als 20 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. Print on Demand. Bestandsnummer des Verkäufers 357096134
Anzahl: 4 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND. Bestandsnummer des Verkäufers 18356476179
Anzahl: 4 verfügbar
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783846542668
Anzahl: 1 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783846542668
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 144 pages. 8.66x5.91x0.33 inches. In Stock. Bestandsnummer des Verkäufers __3846542660
Anzahl: 1 verfügbar
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
paperback. Zustand: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Bestandsnummer des Verkäufers ERICA82938465426606
Anzahl: 1 verfügbar