International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2017 Vol.7 No.2


Pages Title and author(s)
119-137A layered Petri net model to formally analyse time critical web service composition
Fateh Latreche; Faiza Belala
DOI: 10.1504/IJCCBS.2017.10005898
138-170Ensuring cyber-security in smart railway surveillance with SHIELD
Francesco Delli Priscoli; Alessandro Di Giorgio; Mariana Esposito; Andrea Fiaschetti; Francesco Flammini; Silvano Mignanti; Concetta Pragliola
DOI: 10.1504/IJCCBS.2017.10005914
171-189Key management infrastructure design and novel techniques to establish secure communications in critical infrastructures
T.C. Pramod; N.R. Sunitha
DOI: 10.1504/IJCCBS.2017.10005916
190-208Validation of the actual behaviour of a real-time application
Moustapha Bikienga; Annie Choquet-Geniet; Dominique Geniet
DOI: 10.1504/IJCCBS.2017.10005917