International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers - linking academia, business and industry through research

International Journal of Critical Computer-Based Systems

Pages	Title and author(s)
119-137	A layered Petri net model to formally analyse time critical web service composition Fateh Latreche; Faiza Belala DOI: 10.1504/IJCCBS.2017.10005898
138-170	Ensuring 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-189	Key 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-208	Validation of the actual behaviour of a real-time application Moustapha Bikienga; Annie Choquet-Geniet; Dominique Geniet DOI: 10.1504/IJCCBS.2017.10005917