Research Article

Security Requirements Engineering in Safety-Critical Railway Signalling Networks

Figure 3

Proposed architecture and its realization using a Separation Kernel.