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

International Journal of Critical Computer-Based Systems

Special Issue on: Methods and Tools for Assurance of Critical Infrastructure Protection

Guest Editors: Dr. Stefano Marrone and Dr. Ricardo J. Rodríguez

Pages	Title and author(s)
3-25	A versatile approach for ranking and modelling of non-functional requirements Harsimran Kaur; Ashish Sharma DOI: 10.1504/IJCCBS.2019.098793
26-55	Fully encrypted high-speed microprocessor architecture: the secret computer in simulation Peter T. Breuer; Jonathan P. Bowen DOI: 10.1504/IJCCBS.2019.098797
56-75	A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B Giles Howard; Michael Butler; John Colley; Vladimiro Sassone DOI: 10.1504/IJCCBS.2019.098815
76-114	Formal methods in dynamic software updating: a survey Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet DOI: 10.1504/IJCCBS.2019.098794
115-132	Survey on international standards and best practices for patch management of complex industrial control systems: the critical infrastructure of particle accelerators case study Ugo Gentile; Luigi Serio DOI: 10.1504/IJCCBS.2019.098812
Additional Paper
133-165	AltaRica 3.0 in ten modelling patterns Michel Batteux; Tatiana Prosvirnova; Antoine B. Rauzy DOI: 10.1504/IJCCBS.2019.098809