Smart home applications are becoming increasingly popular due to their ability to provide safety, comfort, and remote assistance. These applications are usually controlled using a smart home controller, which is often the target of malware attacks. A successful attack may result in financial loss, disclosure of personal and/or sensitive information, or even loss of human lives. Although existing research has employed machine learning models to detect various malware attacks in smart home systems, they haven’t directly tackled the issue of class imbalance in this domain. In addition, the use of ensemble learners is expected to provide improved performance. To address this, we investigated different oversampling techniques to increase the number of samples in the minority classes and incorporated ensemble learners to see their impact on the prediction performance. Experimental evaluation indicates a marked enhancement of 4-5% across metrics, encompassing accuracy, precision, recall, and the F-1 score.

The dense deployment of Femtocells within the Macrocell's coverage is expected to dominate the future of Long Term Evolution (LTE) networks. While Mobile Femtocells (Mobile-Femtos) could be the solution for vehicular networks when there is a need to improve the vehicular User Equipment (UE) performance by mitigating the impact of penetration loss and path-loss issues. The deployed Femtocells have operated in a co-channel deployment due to the scarcity of spectrums. This issue causes interference between Femtocells and Macrocells as well it causes extra overhead on the LTE networks because of the co-tire interference between adjacent Femtocells. In this paper two interference scenarios are considered, the interference between Mobile-Femto and Macrocell, and the interference between the Mobile Femtos themselves. Therefore, to avoid the generated interference between Femtocells, the controlled transmission powers as well as the coverage planning techniques have been discussed. While in the worst-case scenarios, a frequency reuse scheme has been proposed to avoid the generated interference effectively and dynamically between the Mobile-Femtos as well as their UEs and between the Macrocell UEs.

Communications in Information-Centric Networking place more attention on WHAT data are being exchanged rather than WHO are exchanging them. A well-established approach of information centric networks is the Network of Information (NetInf) architecture, developed as part of the EU FP7 project SAIL. The security of NetInf has been fairly analysed in the literature. In particular, research efforts have been focusing on achieving data integrity and confidentially, source or publisher authenticity and authorization. This paper analyses some work in the literature to enforce authorized access to data in NetInf, highlights a potential security threat and proposes an enhancement to address the discovered threat. The new enhancement has been formally verified using formal method approach based on the Casper/FDR tool.

Summary Next Generation Networks comprise a wide variety of access technologies such as 2G/3G, WLAN as well as the Long‐Term Evolution (LTE) networks. In this environment, mobile devices are expected to store sensitive data and represent users to access the underlying networks and connect to a wide variety of sensitive servers. It is crucial, in this sense, for end users to trust their mobile devices and for all transactions using them to be secure. Therefore, a number of communication frameworks in Next Generation Networks have been working on designing device authentication protocols that achieve mutual authentication between users and mobile terminals. This paper analyses some of these protocols and introduces two new device authentication protocols, verifies them using formal methods approach and discusses how they achieved desired security proprieties. The performance analysis highlights another advantage of the proposed protocols. Copyright © 2014 John Wiley & Sons, Ltd.

Recent advances in mobile devices and network technologies have set new trends in the way we use computers and access networks. Cloud Computing, where processing and storage resources are residing on the network is one of these trends. The other is Mobile Computing, where mobile devices such as smartphones and tablets are believed to replace personal computers by combining network connectivity, mobility, and software functionality. In the future, these devices are expected to seamlessly switch between different network providers using vertical handover mechanisms in order to maintain network connectivity at all times. This will enable mobile devices to access Cloud Services without interruption as users move around. Using current service delivery models, mobile devices moving from one geographical location to another will keep accessing those services from the local Cloud of their previous network, which might lead to moving a large volume of data over the Internet backbone over long distances. This scenario highlights the fact that user mobility will result in more congestion on the Internet. This will degrade the Quality of Service and by extension, the Quality of Experience offered by the services in the Cloud and especially multimedia services that have very tight temporal constraints in terms of bandwidth and jitter. We believe that a different approach is required to manage resources more efficiently, while improving the Quality of Service and Quality of Experience of mobile media services. This paper introduces a novel concept of Cloud-Based Mobile Media Service Delivery in which services run on localized public Clouds and are capable of populating other public Clouds in different geographical locations depending on service demands and network status. Using an analytical framework, this paper argues that as the demand for specific services increases in a location, it might be more efficient to move those services closer to that location. This will prevent the Internet backbone from experiencing high traffic loads due to multimedia streams and will offer service providers an automated resource allocation and management mechanism for their services.

For communication in Next Generation Networks, highly-developed mobile devices will enable users to store and manage a lot of credentials on their terminals. Furthermore, these terminals will represent and act on behalf of users when accessing different networks and connecting to a wide variety of services. In this situation, it is essential for users to trust their terminals and for all transactions using them to be secure. This paper analyses a number of the Authentication and Key Agreement protocols between the users and mobile terminals, then proposes a novel device authentication protocol. The proposed protocol is analysed and verified using a formal methods approach based on Casper/FDR compiler.