Evolution, Detection and Analysis of Malware for Smart Devices

Suárez-Tangil, Guillermo; Tapiador, Juan E.; Peris-López, Pedro; Ribagorda, Arturo

doi:10.1109/surv.2013.101613.00077

Cited by 208 publications

(125 citation statements)

References 87 publications

Supporting

Mentioning

125

Contrasting

Order By: Relevance

“…Existing smartphone security surveys review the state of the art regarding popular mobile OS platforms [46,41]. In particular, La Polla et al [41] surveyed smartphone security threats and their solutions for the period 2004-2011, but has very limited coverage of Android.…”

Section: Related Workmentioning

confidence: 99%

Formal Analysis of Android's Permission-Based Security Model

Betarte¹,

Campo²,

Luna³

et al. 2016

SACS

View full text Add to dashboard Cite

In this work we present a comprehensive formal specification of an idealized formulation of Android's permission model. Permissions in Android are basically tags that developers declare in their applications, more precisely in the so-called application manifest, to gain access to sensitive resources. Several analyses have recently been carried out concerning the security of the Android system. Few of them, however, pay attention to the formal aspects of the permission enforcing framework. We provide a complete and uniform formulation of several security properties using the higher order logic of the Calculus of Inductive Constructions and sketch the proofs that have been developed and verified using the Coq proof assistant. We also analyze how the changes introduced in the latest version of Android, that allows to manage permissions at runtime, impact the presented model.

show abstract

Section: Related Workmentioning

confidence: 99%

Formal Analysis of Android's Permission-Based Security Model

Betarte¹,

Campo²,

Luna³

et al. 2016

SACS

View full text Add to dashboard Cite

show abstract

“…The application will be used by either people with disability to discover technologies that are available, or by industries and healthcare professionals to assist their clients with disability in their daily lives. Considering the proliferation of smart technology over recent years [45], it is anticipated that by applying SoS to disability through the SmartDisability Framework, disability can become 'Smart' to potentially improve quality of life and provide independence.…”

Section: Discussionmentioning

confidence: 99%

SmartDisability: A smart system of systems approach to disability

Whittington

Doğan

2016

2016 11th System of Systems Engineering Conference (SoSE)

View full text Add to dashboard Cite

Abstract-This paper introduces the SmartDisability Framework; a System of Systems to consider mappings between the Disability Types, Range of Movement and Interaction Mediums to produce Technology and Task recommendations. Each element is seen as a constituent system that relies on interaction between the user and technology. The recommended technologies are viewed as independent and operable constituent systems that are networked together to assist people with disability. The SmartDisability conceptual model (based on the familiar disability symbol) and extracts from the initial development stage of the framework are presented. The framework has been populated through a systematic literature review of disability classification, Range of Movement, interaction mediums, 'off-the-shelf' technologies and tasks. The framework was augmented by the results of a previously conducted requirements elicitation process, involving surveys and semi-structured interviews, and a user evaluation with head tracking technology. Quality Function Deployment determined the relationships within the framework to ensure that user requirements were fully analysed. The anticipated validation process involving a focus group utilising fictional personas and routes to exploitation (through the development of an application) are also discussed.

show abstract

“…However, all of the security threats that can occur on a PC can also occur on smartphones. Moreover, important personal information is stored on smartphones and an open development environment means that the production and dissemination of malicious codes can easily occur [21]. Therefore, in the future Internet environment, mechanisms and security methods to prevent such issues are required.…”

Section: Threat Analysis and Considerations For The Future Internetmentioning

confidence: 99%

HB-DIPM: Human Behavior Analysis-Based Malware Detection and Intrusion Prevention Model in the Future Internet

2016

J Inf Process Syst

View full text Add to dashboard Cite

As interest in the Internet increases, related technologies are also quickly progressing. As smart devices become more widely used, interest is growing in words are missing here like "improving the" or "figuring out how to use the" future Internet to resolve the fundamental issues of transmission quality and security. The future Internet is being studied to improve the limits of existing Internet structures and to reflect new requirements. In particular, research on words are missing here like "finding new forms of" or "applying new forms of" or "studying various types of" or "finding ways to provide more" reliable communication to connect the Internet to various services is in demand. In this paper, we analyze the security threats caused by malicious activities in the future Internet and propose a human behavior analysis-based security service model for malware detection and intrusion prevention to provide more reliable communication. Our proposed service model provides high reliability services by responding to security threats by detecting various malware intrusions and protocol authentications based on human behavior.

show abstract

Evolution, Detection and Analysis of Malware for Smart Devices

Cited by 208 publications

References 87 publications

Formal Analysis of Android's Permission-Based Security Model

Formal Analysis of Android's Permission-Based Security Model

SmartDisability: A smart system of systems approach to disability

HB-DIPM: Human Behavior Analysis-Based Malware Detection and Intrusion Prevention Model in the Future Internet

Contact Info

Product

Resources

About