University of Limerick Institutional Repository

Browsing LERO - UL authors by Author "Sanán, David"

DSpace Repository

Browsing LERO - UL authors by Author "Sanán, David"

Sort by: Order: Results:

  • Butterfield, Andrew; Sanán, David; Hinchey, Mike (2013)
    The best approach to verifying an IMA separation kernel is to use a (fixed) time-space partitioning kernel with a multiple independent levels of separation (MILS) architecture. We describe an activity that explores the ...

Search ULIR


Browse

My Account

Statistics