International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2019 Vol.9 No.1/2

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-25A versatile approach for ranking and modelling of non-functional requirements
Harsimran Kaur; Ashish Sharma
DOI: 10.1504/IJCCBS.2019.098793
26-55Fully encrypted high-speed microprocessor architecture: the secret computer in simulation
Peter T. Breuer; Jonathan P. Bowen
DOI: 10.1504/IJCCBS.2019.098797
56-75A 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-114Formal methods in dynamic software updating: a survey
Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet
DOI: 10.1504/IJCCBS.2019.098794
115-132Survey 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-165AltaRica 3.0 in ten modelling patterns
Michel Batteux; Tatiana Prosvirnova; Antoine B. Rauzy
DOI: 10.1504/IJCCBS.2019.098809