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.084915
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.084928
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.084930
190-208Validation of the actual behaviour of a real-time application
Moustapha Bikienga; Annie Choquet-Geniet; Dominique Geniet
DOI: 10.1504/IJCCBS.2017.084931