#mandatory-access-control
#mandatory-access-control

[ follow ]

#unix-like-kernel #ada #spark #formal-verification

Ironclad OS crafts Unix-like kernel in Ada and SPARK

Ironclad builds a POSIX-compatible, realtime-capable Unix-like kernel in Ada/SPARK with MAC and aims for formal verification and an accompanying OS, Gloire.

[ Load more ]

#mandatory-access-control#mandatory-access-control

Ironclad OS crafts Unix-like kernel in Ada and SPARK

#mandatory-access-control
#mandatory-access-control