JoWUA

Guest Editorial: Advances in Secure Distributed and Network-Based Computing

Authors: Igor Kotenko

DOI: 10.22667/JOWUA.2016.06.31.001

Pages: 1-2

Keywords: Journal of Wireless Mobile Networks, Ubiquitous Computing, Dependable Applications, Modern information systems

Abstract Download

Verifying Group Authentication Protocols by Scyther

Authors: Huihui Yang, Vladimir Oleshchuk, and Andreas Prinz

DOI: 10.22667/JOWUA.2016.06.31.003

Pages: 3-19

Keywords: formal verification, group authentication, Scyther

Abstract Download

Robust Decentralized Dierentially Private Stochastic Gradient Descent

Authors: Istvan Hegedus, Arpad Berta, and Mark Jelasity

DOI: 10.22667/JOWUA.2016.06.31.020

Pages: 20-40

Keywords: decentralized dierential privacy, stochastic gradient descent, machine learning, random walks

Abstract Download

Application Vulnerabilities in Risk Assessment and Management

Authors: Fabrizio Baiardi, Federico Tonelli, and Lorenzo Isoni

DOI: 10.22667/JOWUA.2016.06.31.041

Pages: 41-59

Keywords: vulnerability, risk assessment, Monte Carlo method

Abstract Download

Design Technique for Secure Embedded Devices: Application for Creation of Integrated Cyber-Physical Security System

Authors: Vasily Desnitsky, Dmitry Levshun, Andrey Chechulin, and Igor Kotenko

DOI: 10.22667/JOWUA.2016.06.31.060

Pages: 60-80

Keywords: design of secure cyber-physical systems, embedded security, cyber-physical security, security components

Abstract Download