Formal security analysis of near field communication using model checking

N Alexiou, S Basagiannis, S Petridou - computers & security, 2016 - Elsevier
Near field communication (NFC) is a short-range wireless communication technology
envisioned to support a large gamut of smart-device applications, such as payment and …

[PDF][PDF] Power-aware mobile multimedia: a survey

J Zhang, D Wu, S Ci, H Wang, AK Katsaggelos - J. Commun., 2009 - Citeseer
With the fast-paced development of computing technologies, mobile devices have almost
sufficient computation and communication capabilities to support mobile multimedia …

Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach

S Basagiannis, S Petridou, N Alexiou… - Computers & …, 2011 - Elsevier
Formal analysis techniques, such as probabilistic model checking, offer an effective
mechanism for model-based performance and verification studies of communication …

WINSOME: A middleware platform for the provision of secure monitoring services over Wireless Sensor Networks

L Pomante, M Pugliese, S Marchesani… - 2013 9th International …, 2013 - ieeexplore.ieee.org
This paper deals with the design and implementation of security mechanisms in networked
embedded systems (eg Wireless Sensor Networks (WSN)), without the support of external …

A theoretical framework for interaction measure and sensitivity analysis in cross-layer design

D Wu, S Ci, H Luo, HF Guo - ACM Transactions on Modeling and …, 2010 - dl.acm.org
Cross-layer design has become one of the most effective and efficient methods to provide
Quality of Service (QoS) over various communication networks, especially over wireless …

A network-oriented survey and open issues in cloud computing

L Atzori, F Granelli, A Pescapè - … Methodology, Systems, and …, 2011 - api.taylorfrancis.com
Cloud computing represents an emerging paradigm in the framework of ICT, describing a
computing model where business applications are allocated to a combination of …

Is information transfer rate a suitable performance measure for self-paced brain interface systems?

M Fatourechi, SG Mason, GE Birch… - 2006 IEEE International …, 2006 - ieeexplore.ieee.org
Information transfer rate (ITR) is used as the primary metric in the evaluation of many
synchronized brain interface (BI) systems. In this paper, the ITR of self-paced BI systems is …

[PDF][PDF] Chapter Secure Platform Over Wireless Sensor Networks

F Santucci, L Pomante, M Pugliese - 2012 - library.oapen.org
Homeland security and monitoring of critical infrastructures, such as buildings, bridges,
nuclear power plants, aircrafts, etc., represent challenging application domains for modern …

Congestion control based on cross-layer game optimization in wireless mesh networks

X Ma, L Xu, G Min - 2013 IEEE 9th International Conference on …, 2013 - ieeexplore.ieee.org
Due to the attractive characteristics of high capacity, high-speed, wide coverage and low
transmission power, Wireless Mesh Networks become the ideal choice for the next …

Cross-layer signalling and middleware: A survey for inelastic soft real-time applications in MANETs

SG Pease, L Guan, I Phillips, A Grigg - Journal of network and computer …, 2011 - Elsevier
This paper provides a review of the different cross-layer design and protocol tuning
approaches that may be used to meet a growing need to support inelastic soft real-time …