J Reliable Intell Environ (2017) 3:137 DOI 10.1007/s40860-017-0048-8 2 1 Antonio Coronato · Juan Carlos Augusto © Springer International Publishing AG 2017 This third issue of the third volume of the Journal of Reliable A secure remote user authentication scheme for smart Intelligent Environments consists of four papers. Three of cities E-governance applications, by Geeta Sharma and them concern different dependability attributes for Intelligent Sheetal Kalra, proposes a lightweight, robust remote user Environments. The fourth paper deals with the veriﬁcation authentication and key agreement protocol for e-governance of quality characteristics of software-deﬁned networks. applications in the smart cities. The protocol is based on Reliability and human factors in Ambient Assisted Liv- XOR and hash operations and includes a password and smart ing environments—The DOREMI case study, by Filippo card, user anonymity. mutual authentication, shared session Palumbo et al., presents the results of the analysis of the key and key freshness. It has formally proved to be resistant impact on the daily life of users (elderly and cognitive against many well-known security attacks. impaired people) of the intelligent environment technologies A Characterisation of Veriﬁcation Tools for Software developed within the DOREMI project, an EU funded project Deﬁned Networks, by Leticia Lavado et al., provides a pre- experimented in 32 test sites across UK and Italy. This paper liminary study of the current veriﬁcation tools used to analyze concentrates on the activities conducted during the pilot site different quality properties of software deﬁned networks studies, the users’ experience of the entire system, and how either before deployment or during the service. A classiﬁca- human factors inﬂuenced its overall reliability. tion of the tools against certain characteristics is provided to Self-Adaptive Smart Spaces by Proactive Means-End Rea- ease the selection for potential users, and promising research soning, by Luca Sabatucci and Massimo Cossentino, deals areas are also reviewed. with the ability of an intelligent environment to change its We hope these articles stimulate the community to fur- behavior at run-time. This paper presents a theoretical frame- ther improvements in this area and perhaps to collaborations work and a general architecture for engineering self-adaptive between the participating teams so that complementary solu- smart spaces by breaking out some design-time constraints tions can be used in a combined way to tackle more complex between goals and tasks. The architecture supports software problems. evolution; indeed, goals may evolve during the application lifecycle. The architecture itself is responsible for conﬁgur- ing its components by means of a decision-making process supported by an ad hoc algorithm. B Juan Carlos Augusto firstname.lastname@example.org Antonio Coronato email@example.com Department of Computer Science, Middlesex University, London, UK Institute for High Performance Computing and Networking National Research Council, Arcavacata, Italy
Journal of Reliable Intelligent Environments – Springer Journals
Published: Aug 7, 2017
It’s your single place to instantly
discover and read the research
that matters to you.
Enjoy affordable access to
over 18 million articles from more than
15,000 peer-reviewed journals.
All for just $49/month
Query the DeepDyve database, plus search all of PubMed and Google Scholar seamlessly
Save any article or search result from DeepDyve, PubMed, and Google Scholar... all in one place.
Get unlimited, online access to over 18 million full-text articles from more than 15,000 scientific journals.
Read from thousands of the leading scholarly journals from SpringerNature, Elsevier, Wiley-Blackwell, Oxford University Press and more.
All the latest content is available, no embargo periods.
“Hi guys, I cannot tell you how much I love this resource. Incredible. I really believe you've hit the nail on the head with this site in regards to solving the research-purchase issue.”Daniel C.
“Whoa! It’s like Spotify but for academic articles.”@Phil_Robichaud
“I must say, @deepdyve is a fabulous solution to the independent researcher's problem of #access to #information.”@deepthiw
“My last article couldn't be possible without the platform @deepdyve that makes journal papers cheaper.”@JoseServera