
International Journal of Critical Computer-Based Systems
2017 Vol.7 No.2
Pages | Title and author(s) |
119-137 | A layered Petri net model to formally analyse time critical web service compositionFateh Latreche; Faiza Belala DOI: 10.1504/IJCCBS.2017.084915 |
138-170 | Ensuring cyber-security in smart railway surveillance with SHIELDFrancesco Delli Priscoli; Alessandro Di Giorgio; Mariana Esposito; Andrea Fiaschetti; Francesco Flammini; Silvano Mignanti; Concetta Pragliola DOI: 10.1504/IJCCBS.2017.084928 |
171-189 | Key management infrastructure design and novel techniques to establish secure communications in critical infrastructuresT.C. Pramod; N.R. Sunitha DOI: 10.1504/IJCCBS.2017.084930 |
190-208 | Validation of the actual behaviour of a real-time applicationMoustapha Bikienga; Annie Choquet-Geniet; Dominique Geniet DOI: 10.1504/IJCCBS.2017.084931 |