Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/24021
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Chircop, Luke | - |
dc.contributor.author | Colombo, Christian | - |
dc.contributor.author | Pace, Gordon J. | - |
dc.date.accessioned | 2017-11-21T09:01:50Z | - |
dc.date.available | 2017-11-21T09:01:50Z | - |
dc.date.issued | 2016 | - |
dc.identifier.citation | Chircop, L., Colombo, C., & Pace, G. J. (2016). Device-centric monitoring for mobile device management. In J. Kofron, J. Tumova, B. Buhnova (Eds.), Formal engineering approaches to software components and architectures (FESCA’16) (pp. 1-14). Karlsruhe Institute of Technology. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/24021 | - |
dc.description.abstract | The ubiquity of computing devices has led to an increased need to ensure not only that the applications deployed on them are correct with respect to their specifications, but also that the devices are used in an appropriate manner, especially in situations where the device is provided by a party other than the actual user. Much work which has been done on runtime verification for mobile devices and operating systems is mostly application-centric, resulting in global, device-centric properties (e.g. the user may not send more than 100 messages per day across all applications) being difficult or impossible to verify. In this paper we present a device-centric approach to runtime verify the device behaviour against a device policy with the different applications acting as independent components contributing to the overall behaviour of the device. We also present an implementation for Android devices, and evaluate it on a number of device-centric policies, reporting the empirical results obtained. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Karlsruhe Institute of Technology | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Computer software -- Verification | en_GB |
dc.subject | Computer software -- Development | en_GB |
dc.subject | Aspect-oriented programming | en_GB |
dc.subject | Computer science | en_GB |
dc.subject | Autonomous distributed systems | en_GB |
dc.title | Device-centric monitoring for mobile device management | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.bibliographicCitation.conferencename | 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures | en_GB |
dc.bibliographicCitation.conferenceplace | Eindhoven, The Netherlands, 3/04/016 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.4204/EPTCS.205.3 | - |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Device-Centric_Monitoring_for_Mobile_Device_Manage.pdf | 187.08 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.