@prefix prodottidellaricerca: . @prefix istituto: . @prefix prodotto: . istituto:CDS044 prodottidellaricerca:prodotto prodotto:ID222132 . @prefix pubblicazioni: . @prefix unitaDiPersonaleEsterno: . unitaDiPersonaleEsterno:ID10618 pubblicazioni:autoreCNRDi prodotto:ID222132 . unitaDiPersonaleEsterno:ID16957 pubblicazioni:autoreCNRDi prodotto:ID222132 . @prefix modulo: . modulo:ID2828 prodottidellaricerca:prodotto prodotto:ID222132 . @prefix rdf: . prodotto:ID222132 rdf:type prodotto:TIPO1301 . @prefix retescientifica: . prodotto:ID222132 rdf:type retescientifica:ProdottoDellaRicerca . @prefix rdfs: . prodotto:ID222132 rdfs:label "Log-based Lazy Monitoring of OSGi Bundles (Contributo in atti di convegno)"@en . @prefix xsd: . prodotto:ID222132 pubblicazioni:anno "2012-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID222132 skos:altLabel "
Giulio Caravagna, Gabriele Costa, Giovanni Pardini, Luca Wiegand (2012)
Log-based Lazy Monitoring of OSGi Bundles
in Seventh Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Tallinn, Estonia, 31 March 2012
"^^rdf:HTML ; pubblicazioni:autori "Giulio Caravagna, Gabriele Costa, Giovanni Pardini, Luca Wiegand"^^xsd:string ; pubblicazioni:paginaInizio "1"^^xsd:string ; pubblicazioni:paginaFine "8"^^xsd:string ; pubblicazioni:altreInformazioni "ID_PUMA; /cnr.iit/2012-A2-021"^^xsd:string ; pubblicazioni:pagineTotali "8"^^xsd:string ; pubblicazioni:affiliazioni "Dipartimento di Informatica, Sistemistica e Comunicazione Universit\u00E0 degli Studi di Milano-Bicocca, Italy; CNR-IIT, Pisa, Italy; Dipartimento di Informatica, Universit\u00E0 di Verona, Italy; CNR-IIT, Pisa, Italy"^^xsd:string ; pubblicazioni:titolo "Log-based Lazy Monitoring of OSGi Bundles"^^xsd:string ; prodottidellaricerca:abstract "Lazy controllers are execution monitors which do not continuously observe the behaviour of their target. Monitors are activated and deactivated according to a scheduling strategy. When a lazy controller is activated, it checks the current security state and, in case of a violation, terminates the execution. Instead, if the current execution trace is safe, the monitor is suspended and its activation is scheduled again. The inactivity period is computer by considering the risk that, from the current state, the target can produce a security violation. This behaviour is particularly interesting for systems which are difficult to monitor with standard approaches, such as web services. In this paper we present a prototype using existing logging API, i.e., the Commons Logging Package, for remotely watching the execution of OSGi bundles. We claim that our solution can efficiently follow the target system keeping under control the delay in detecting violations. Also, as we use standard OSGi platform and facilities, we show that our monitors can run under very realistic assumptions in the context of web services"@en ; prodottidellaricerca:prodottoDi modulo:ID2828 , istituto:CDS044 ; pubblicazioni:autoreCNR unitaDiPersonaleEsterno:ID16957 , unitaDiPersonaleEsterno:ID10618 . @prefix parolechiave: . prodotto:ID222132 parolechiave:insiemeDiParoleChiave . parolechiave:insiemeDiParoleChiaveDi prodotto:ID222132 .