Jump to content

Multiple Independent Levels of Security: Revision history


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

4 February 2025

25 January 2025

21 January 2025

10 December 2024

10 November 2022

26 September 2022

20 August 2022

14 July 2022

28 April 2022

19 March 2022

12 January 2022

8 December 2021

12 November 2021

26 October 2021

22 May 2021

14 January 2021

25 October 2020

15 August 2019

14 August 2019

8 April 2019

27 October 2017

6 January 2017

31 January 2016

17 May 2014

  • curprev 22:0322:03, 17 May 2014 71.62.202.23 talk 3,988 bytes +140 Added reference to Open Kernel Labs as source of formally proven separation kernel, which conforms to the MILS architecture. Also added link to NICTA in Australia, who developed and formally proved the seL4/OKL4 micro-kernel. undo

9 February 2014

5 July 2013

5 April 2013

20 February 2013

26 July 2012

7 December 2011

28 December 2010

19 April 2010

2 January 2010

18 November 2009

6 November 2009

30 September 2009

8 March 2009

23 July 2008

3 July 2008

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)