Multiple Independent Levels of Security - Versionsgeschichte

Pintsknife: /* Verwendung */

2021-11-21T09:10:29Z

Verwendung

← Nächstältere Version		Version vom 21. November 2021, 11:10 Uhr
Zeile 10:		Zeile 10:

	== Verwendung ==		== Verwendung ==
	Einige kommerzielle [[Echtzeitbetriebssystem\|Echtzeitbetriebssystem (RTOS)]]-Anbieter wie Green Hills Software, LynuxWorks, SYSGO und [[Wind River Systems]] bieten ''MILS''-kompatible Betriebssysteme an.<ref name="Voss2007" /> ''MILS''-Architekturen finden zum Beispiel in [[Mikrokernel\|mikrokernbasierten]], [[Kryptosystem\|kryptografisch]] abgesicherten [[Smartphone~~\|Smartphones~~]] für Regierungen Verwendung.		Einige kommerzielle [[Echtzeitbetriebssystem\|Echtzeitbetriebssystem (RTOS)]]-Anbieter wie Green Hills Software, LynuxWorks, SYSGO und [[Wind River Systems]] bieten ''MILS''-kompatible Betriebssysteme an.<ref name="Voss2007" /> ''MILS''-Architekturen finden zum Beispiel in [[Mikrokernel\|mikrokernbasierten]], [[Kryptosystem\|kryptografisch]] abgesicherten [[Smartphone]]s für Regierungen Verwendung.

	Dazu zählt das ''Secure Microkernel''-Konzept nebst [[Android (Betriebssystem)\|Android]]-Smartphone der Trust2Core GmbH, einem [[Ableger (Wirtschaft)\|Spin-off]] der [[Telekom Innovation Laboratories]] (T-Labs).<ref>{{Internetquelle \|url=http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|titel=Trust2Core \|titelerg=Höchste Sicherheit und maximaler Spaß in einem Gerät \|werk=Telekom Innovation Laboratories \|datum=2013 \|abruf=2013-05-22 \|archiv-url=https://web.archive.org/web/20130126152207/http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|archiv-datum=2013-01-26}}</ref> Das Konzept basiert auf einem [[L4 (Mikrokernel)]]-System. Das System für die [[Sichere mobile Kommunikation]] (SiMKo) verwendet das Trust2Core-Konzept.		Dazu zählt das ''Secure Microkernel''-Konzept nebst [[Android (Betriebssystem)\|Android]]-Smartphone der Trust2Core GmbH, einem [[Ableger (Wirtschaft)\|Spin-off]] der [[Telekom Innovation Laboratories]] (T-Labs).<ref>{{Internetquelle \|url=http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|titel=Trust2Core \|titelerg=Höchste Sicherheit und maximaler Spaß in einem Gerät \|werk=Telekom Innovation Laboratories \|datum=2013 \|abruf=2013-05-22 \|archiv-url=https://web.archive.org/web/20130126152207/http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|archiv-datum=2013-01-26}}</ref> Das Konzept basiert auf einem [[L4 (Mikrokernel)]]-System. Das System für die [[Sichere mobile Kommunikation]] (SiMKo) verwendet das Trust2Core-Konzept.

Pintsknife: /* Verwendung */

2021-11-21T09:09:47Z

Verwendung

← Nächstältere Version		Version vom 21. November 2021, 11:09 Uhr
Zeile 10:		Zeile 10:

	== Verwendung ==		== Verwendung ==
	Einige kommerzielle [[Echtzeitbetriebssystem\|Echtzeitbetriebssystem (RTOS)]]-Anbieter wie Green Hills Software, LynuxWorks, SYSGO und [[Wind River Systems]] bieten ''MILS''-kompatible Betriebssysteme an.<ref name="Voss2007" />		Einige kommerzielle [[Echtzeitbetriebssystem\|Echtzeitbetriebssystem (RTOS)]]-Anbieter wie Green Hills Software, LynuxWorks, SYSGO und [[Wind River Systems]] bieten ''MILS''-kompatible Betriebssysteme an.<ref name="Voss2007" /> ''MILS''-Architekturen finden zum Beispiel in [[Mikrokernel\|mikrokernbasierten]], [[Kryptosystem\|kryptografisch]] abgesicherten [[Smartphone\|Smartphones]] für Regierungen Verwendung.
	''MILS''-Architekturen finden zum Beispiel in [[Mikrokernel\|mikrokernbasierten]], [[Kryptosystem\|kryptografisch]] abgesicherten [[Smartphone\|Smartphones]] für Regierungen Verwendung.

	Dazu zählt das ''Secure Microkernel''-Konzept nebst [[Android (Betriebssystem)\|Android]]-Smartphone der Trust2Core GmbH, einem [[Ableger (Wirtschaft)\|Spin-off]] der [[Telekom Innovation Laboratories]] (T-Labs).<ref>{{Internetquelle \|url=http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|titel=Trust2Core \|titelerg=Höchste Sicherheit und maximaler Spaß in einem Gerät \|werk=Telekom Innovation Laboratories \|datum=2013 \|~~zugriff~~=2013-05-22 \|archiv-url=https://web.archive.org/web/20130126152207/http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|archiv-datum=2013-01-26 ~~\|offline=ja \|archiv-bot=2019-05-02 14:51:30 InternetArchiveBot~~ }}</ref> Das Konzept basiert auf einem [[L4 (Mikrokernel)]]-System. Das System für die [[Sichere mobile Kommunikation]] (SiMKo) verwendet das Trust2Core-Konzept.		Dazu zählt das ''Secure Microkernel''-Konzept nebst [[Android (Betriebssystem)\|Android]]-Smartphone der Trust2Core GmbH, einem [[Ableger (Wirtschaft)\|Spin-off]] der [[Telekom Innovation Laboratories]] (T-Labs).<ref>{{Internetquelle \|url=http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|titel=Trust2Core \|titelerg=Höchste Sicherheit und maximaler Spaß in einem Gerät \|werk=Telekom Innovation Laboratories \|datum=2013 \|abruf=2013-05-22 \|archiv-url=https://web.archive.org/web/20130126152207/http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|archiv-datum=2013-01-26}}</ref> Das Konzept basiert auf einem [[L4 (Mikrokernel)]]-System. Das System für die [[Sichere mobile Kommunikation]] (SiMKo) verwendet das Trust2Core-Konzept.

	== Siehe auch ==		== Siehe auch ==

Pintsknife am 21. November 2021 um 09:08 Uhr

2021-11-21T09:08:35Z

← Nächstältere Version		Version vom 21. November 2021, 11:08 Uhr
Zeile 1:		Zeile 1:
	{{Dieser Artikel\|beschreibt eine Architektur für hochsichere Computersysteme. Für weitere Bedeutungen von MILS bzw. Mils siehe [[MILS]]}}

	Der Begriff '''Multiple Independent Levels of Security''' ('''MILS''') bezeichnet eine Architektur für hochsichere (englisch: ''high-assurance'') Computersysteme.		Der Begriff '''Multiple Independent Levels of Security''' ('''MILS''') bezeichnet eine Architektur für hochsichere (englisch: ''high-assurance'') Computersysteme.

InternetArchiveBot: InternetArchiveBot hat 1 Archivlink(s) ergänzt und 0 Link(s) als defekt/tot markiert. #IABot (v2.0beta14)

2019-05-02T14:51:30Z

InternetArchiveBot hat 1 Archivlink(s) ergänzt und 0 Link(s) als defekt/tot markiert. #IABot (v2.0beta14)

← Nächstältere Version		Version vom 2. Mai 2019, 16:51 Uhr
Zeile 15:		Zeile 15:
	''MILS''-Architekturen finden zum Beispiel in [[Mikrokernel\|mikrokernbasierten]], [[Kryptosystem\|kryptografisch]] abgesicherten [[Smartphone\|Smartphones]] für Regierungen Verwendung.		''MILS''-Architekturen finden zum Beispiel in [[Mikrokernel\|mikrokernbasierten]], [[Kryptosystem\|kryptografisch]] abgesicherten [[Smartphone\|Smartphones]] für Regierungen Verwendung.

	Dazu zählt das ''Secure Microkernel''-Konzept nebst [[Android (Betriebssystem)\|Android]]-Smartphone der Trust2Core GmbH, einem [[Ableger (Wirtschaft)\|Spin-off]] der [[Telekom Innovation Laboratories]] (T-Labs).<ref>{{Internetquelle \|url=http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|titel=Trust2Core \|titelerg=Höchste Sicherheit und maximaler Spaß in einem Gerät \|werk=Telekom Innovation Laboratories \|datum=2013 \|zugriff=2013-05-22}}</ref> Das Konzept basiert auf einem [[L4 (Mikrokernel)]]-System. Das System für die [[Sichere mobile Kommunikation]] (SiMKo) verwendet das Trust2Core-Konzept.		Dazu zählt das ''Secure Microkernel''-Konzept nebst [[Android (Betriebssystem)\|Android]]-Smartphone der Trust2Core GmbH, einem [[Ableger (Wirtschaft)\|Spin-off]] der [[Telekom Innovation Laboratories]] (T-Labs).<ref>{{Internetquelle \|url=http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|titel=Trust2Core \|titelerg=Höchste Sicherheit und maximaler Spaß in einem Gerät \|werk=Telekom Innovation Laboratories \|datum=2013 \|zugriff=2013-05-22 \|archiv-url=https://web.archive.org/web/20130126152207/http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|archiv-datum=2013-01-26 \|offline=ja \|archiv-bot=2019-05-02 14:51:30 InternetArchiveBot }}</ref> Das Konzept basiert auf einem [[L4 (Mikrokernel)]]-System. Das System für die [[Sichere mobile Kommunikation]] (SiMKo) verwendet das Trust2Core-Konzept.

	== Siehe auch ==		== Siehe auch ==

Aka: Halbgeviertstrich

2018-02-07T17:17:51Z

Halbgeviertstrich

← Nächstältere Version		Version vom 7. Februar 2018, 19:17 Uhr
Zeile 4:		Zeile 4:

	== Technischer Hintergrund ==		== Technischer Hintergrund ==
	''MILS'' greift auf die Konzepte der Datenseparation bzw. Datenisolation (englisch: ''data isolation''), Informationsflusskontrolle (englisch: ''control of information flow''), periodische Verarbeitung (englisch: ''periods processing'') und Schadensbegrenzung (englisch: ''damage limitation'') zurück. Auf Grundlage dieser vier Konzepte kann die Kernsystemsoftware mathematisch [[Verifizierung\|verifiziert]] werden.<ref name="Voss2007" /> Entsprechend ihrer Vertrauenswürdigkeit findet eine Trennung einzelner Komponenten voneinander statt. Dies erlaubt den Einsatz von sowohl nicht-vertrauenswürdigen als auch vertrauenswürdigen Komponenten (englisch: ''multilevel security'' (MLS)).<ref name="Vanfleet2005">Gordon M. Uchenick, W. Mark Vanfleet: ''Multiple Independent Levels Of Safety And Security: High Assurance Architecture For MSLS/MLS.'' In: ''Military Communications Conference, 2005. MILCOM 2005. IEEE.'' Nr. 1, 2005, S. ~~610-614~~, ISBN 0-7803-9393-7</ref>{{rp\|610}}		''MILS'' greift auf die Konzepte der Datenseparation bzw. Datenisolation (englisch: ''data isolation''), Informationsflusskontrolle (englisch: ''control of information flow''), periodische Verarbeitung (englisch: ''periods processing'') und Schadensbegrenzung (englisch: ''damage limitation'') zurück. Auf Grundlage dieser vier Konzepte kann die Kernsystemsoftware mathematisch [[Verifizierung\|verifiziert]] werden.<ref name="Voss2007" /> Entsprechend ihrer Vertrauenswürdigkeit findet eine Trennung einzelner Komponenten voneinander statt. Dies erlaubt den Einsatz von sowohl nicht-vertrauenswürdigen als auch vertrauenswürdigen Komponenten (englisch: ''multilevel security'' (MLS)).<ref name="Vanfleet2005">Gordon M. Uchenick, W. Mark Vanfleet: ''Multiple Independent Levels Of Safety And Security: High Assurance Architecture For MSLS/MLS.'' In: ''Military Communications Conference, 2005. MILCOM 2005. IEEE.'' Nr. 1, 2005, S. 610–614, ISBN 0-7803-9393-7</ref>{{rp\|610}}

	Es gibt drei verschiedene Schichten: den ''MILS Separation Kernel'' (auch ''Partitioning Kernel'' genannt), die ''Middleware'' und die ''Application''. In jeder einzelnen dieser Schichten können unterschiedliche, voneinander unabhängige Sicherheitsrichtlinien (englisch: ''security policies'') festgelegt werden. Eine generalisierte Vorgabe der Richtlinien durch den Kernel wird so umgangen.<ref name="Vanfleet2005" />{{rp\|610}}		Es gibt drei verschiedene Schichten: den ''MILS Separation Kernel'' (auch ''Partitioning Kernel'' genannt), die ''Middleware'' und die ''Application''. In jeder einzelnen dieser Schichten können unterschiedliche, voneinander unabhängige Sicherheitsrichtlinien (englisch: ''security policies'') festgelegt werden. Eine generalisierte Vorgabe der Richtlinien durch den Kernel wird so umgangen.<ref name="Vanfleet2005" />{{rp\|610}}

	== Geschichte ==		== Geschichte ==
	John Rushby schlug 1981 in seinem Paper ''Design and Verification of Secure Systems'' erstmals eine Architektur mit Nutzung eines Sicherheitskernels (englisch: „security kernel“) vor. Dabei würde die Verifikation von ausführenden Komponenten von der Verifikation des Sicherheitskernels separiert. Diese Aufgabe würde durch eine neue verifizierende Technik mit dem Namen „proof of separability“ erfüllt werden.<ref>John Rushby: [http://www.csl.sri.com/papers/sosp81/sosp81.pdf ''Design and Verification of Secure Systems.''] (PDF; 196 kB) In: ''Proc. ACM Symposium on Operating System Principles.'' Nr. 5, 1981, S. ~~12-21~~.</ref>{{rp\|17}} Dieses sehr ähnliche Prinzip wurde für das ''MILS''-Konzept genutzt.		John Rushby schlug 1981 in seinem Paper ''Design and Verification of Secure Systems'' erstmals eine Architektur mit Nutzung eines Sicherheitskernels (englisch: „security kernel“) vor. Dabei würde die Verifikation von ausführenden Komponenten von der Verifikation des Sicherheitskernels separiert. Diese Aufgabe würde durch eine neue verifizierende Technik mit dem Namen „proof of separability“ erfüllt werden.<ref>John Rushby: [http://www.csl.sri.com/papers/sosp81/sosp81.pdf ''Design and Verification of Secure Systems.''] (PDF; 196 kB) In: ''Proc. ACM Symposium on Operating System Principles.'' Nr. 5, 1981, S. 12–21.</ref>{{rp\|17}} Dieses sehr ähnliche Prinzip wurde für das ''MILS''-Konzept genutzt.

	== Verwendung ==		== Verwendung ==

Crazy1880: Vorlagen-fix (Parameterfehler (Datum/Zugriff))

2017-11-27T18:36:47Z

Vorlagen-fix (Parameterfehler (Datum/Zugriff))

← Nächstältere Version		Version vom 27. November 2017, 20:36 Uhr
Zeile 4:		Zeile 4:

	== Technischer Hintergrund ==		== Technischer Hintergrund ==
	''MILS'' greift auf die Konzepte der Datenseparation bzw. Datenisolation (englisch: ''data isolation''), Informationsflusskontrolle (englisch: ''control of information flow''), periodische Verarbeitung (englisch: ''periods processing'') und Schadensbegrenzung (englisch: ''damage limitation'') zurück. Auf Grundlage dieser vier Konzepte kann die Kernsystemsoftware mathematisch [[Verifizierung\|verifiziert]] werden.<ref name="Voss2007" /> Entsprechend ihrer Vertrauenswürdigkeit findet eine Trennung einzelner Komponenten voneinander statt. Dies erlaubt den Einsatz von sowohl nicht-vertrauenswürdigen als auch vertrauenswürdigen Komponenten (englisch: ''multilevel security'' (MLS)).<ref name="Vanfleet2005">Gordon M. Uchenick, W. Mark Vanfleet: ''Multiple Independent Levels Of Safety And Security: High Assurance Architecture For MSLS/MLS.'' In: ''Military Communications Conference, 2005. MILCOM 2005. IEEE.'' Nr. 1, 2005, S. 610-614, ISBN 0-7803-9393-7</ref>{{Rp\|610}}		''MILS'' greift auf die Konzepte der Datenseparation bzw. Datenisolation (englisch: ''data isolation''), Informationsflusskontrolle (englisch: ''control of information flow''), periodische Verarbeitung (englisch: ''periods processing'') und Schadensbegrenzung (englisch: ''damage limitation'') zurück. Auf Grundlage dieser vier Konzepte kann die Kernsystemsoftware mathematisch [[Verifizierung\|verifiziert]] werden.<ref name="Voss2007" /> Entsprechend ihrer Vertrauenswürdigkeit findet eine Trennung einzelner Komponenten voneinander statt. Dies erlaubt den Einsatz von sowohl nicht-vertrauenswürdigen als auch vertrauenswürdigen Komponenten (englisch: ''multilevel security'' (MLS)).<ref name="Vanfleet2005">Gordon M. Uchenick, W. Mark Vanfleet: ''Multiple Independent Levels Of Safety And Security: High Assurance Architecture For MSLS/MLS.'' In: ''Military Communications Conference, 2005. MILCOM 2005. IEEE.'' Nr. 1, 2005, S. 610-614, ISBN 0-7803-9393-7</ref>{{rp\|610}}

	Es gibt drei verschiedene Schichten: den ''MILS Separation Kernel'' (auch ''Partitioning Kernel'' genannt), die ''Middleware'' und die ''Application''. In jeder einzelnen dieser Schichten können unterschiedliche, voneinander unabhängige Sicherheitsrichtlinien (englisch: ''security policies'') festgelegt werden. Eine generalisierte Vorgabe der Richtlinien durch den Kernel wird so umgangen.<ref name="Vanfleet2005" />{{Rp\|610}}		Es gibt drei verschiedene Schichten: den ''MILS Separation Kernel'' (auch ''Partitioning Kernel'' genannt), die ''Middleware'' und die ''Application''. In jeder einzelnen dieser Schichten können unterschiedliche, voneinander unabhängige Sicherheitsrichtlinien (englisch: ''security policies'') festgelegt werden. Eine generalisierte Vorgabe der Richtlinien durch den Kernel wird so umgangen.<ref name="Vanfleet2005" />{{rp\|610}}

	== Geschichte ==		== Geschichte ==
	John Rushby schlug 1981 in seinem Paper ''Design and Verification of Secure Systems'' erstmals eine Architektur mit Nutzung eines Sicherheitskernels (englisch: „security kernel“) vor. Dabei würde die Verifikation von ausführenden Komponenten von der Verifikation des Sicherheitskernels separiert. Diese Aufgabe würde durch eine neue verifizierende Technik mit dem Namen „proof of separability“ erfüllt werden.<ref>John Rushby: [http://www.csl.sri.com/papers/sosp81/sosp81.pdf ''Design and Verification of Secure Systems.''] (PDF; 196 kB) In: ''Proc. ACM Symposium on Operating System Principles.'' Nr. 5, 1981, S. 12-21.</ref>{{Rp\|17}} Dieses sehr ähnliche Prinzip wurde für das ''MILS''-Konzept genutzt.		John Rushby schlug 1981 in seinem Paper ''Design and Verification of Secure Systems'' erstmals eine Architektur mit Nutzung eines Sicherheitskernels (englisch: „security kernel“) vor. Dabei würde die Verifikation von ausführenden Komponenten von der Verifikation des Sicherheitskernels separiert. Diese Aufgabe würde durch eine neue verifizierende Technik mit dem Namen „proof of separability“ erfüllt werden.<ref>John Rushby: [http://www.csl.sri.com/papers/sosp81/sosp81.pdf ''Design and Verification of Secure Systems.''] (PDF; 196 kB) In: ''Proc. ACM Symposium on Operating System Principles.'' Nr. 5, 1981, S. 12-21.</ref>{{rp\|17}} Dieses sehr ähnliche Prinzip wurde für das ''MILS''-Konzept genutzt.

	== Verwendung ==		== Verwendung ==
Zeile 15:		Zeile 15:
	''MILS''-Architekturen finden zum Beispiel in [[Mikrokernel\|mikrokernbasierten]], [[Kryptosystem\|kryptografisch]] abgesicherten [[Smartphone\|Smartphones]] für Regierungen Verwendung.		''MILS''-Architekturen finden zum Beispiel in [[Mikrokernel\|mikrokernbasierten]], [[Kryptosystem\|kryptografisch]] abgesicherten [[Smartphone\|Smartphones]] für Regierungen Verwendung.

	Dazu zählt das ''Secure Microkernel''-Konzept nebst [[Android (Betriebssystem)\|Android]]-Smartphone der Trust2Core GmbH, einem [[Ableger (Wirtschaft)\|Spin-off]] der [[Telekom Innovation Laboratories]] (T-Labs).<ref>{{Internetquelle\| url=http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx\| titel=Trust2Core\| titelerg=Höchste Sicherheit und maximaler Spaß in einem Gerät\| werk= Telekom Innovation Laboratories\| datum=2013~~-00-00~~\| zugriff=2013-05-22}}</ref> Das Konzept basiert auf einem [[L4 (Mikrokernel)]]-System. Das System für die [[Sichere mobile Kommunikation]] (SiMKo) verwendet das Trust2Core-Konzept.		Dazu zählt das ''Secure Microkernel''-Konzept nebst [[Android (Betriebssystem)\|Android]]-Smartphone der Trust2Core GmbH, einem [[Ableger (Wirtschaft)\|Spin-off]] der [[Telekom Innovation Laboratories]] (T-Labs).<ref>{{Internetquelle \|url=http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx \|titel=Trust2Core \|titelerg=Höchste Sicherheit und maximaler Spaß in einem Gerät \|werk=Telekom Innovation Laboratories \|datum=2013 \|zugriff=2013-05-22}}</ref> Das Konzept basiert auf einem [[L4 (Mikrokernel)]]-System. Das System für die [[Sichere mobile Kommunikation]] (SiMKo) verwendet das Trust2Core-Konzept.

	== Siehe auch ==		== Siehe auch ==

Jack User: keine wartungs-kat-vorhanden, die hier ist für personen, daher entfernt

2016-10-24T12:43:55Z

keine wartungs-kat-vorhanden, die hier ist für personen, daher entfernt

← Nächstältere Version		Version vom 24. Oktober 2016, 14:43 Uhr
Zeile 24:		Zeile 24:

	{{Navigationsleiste Kerneltypen}}		{{Navigationsleiste Kerneltypen}}

	{{Normdaten\|TYP=s\|GNDfehlt=ja\|GNDCheck=2013-08-21}}

	[[Kategorie:Architekturmuster]]		[[Kategorie:Architekturmuster]]

JamesP: fixed typo

2015-02-17T10:39:09Z

fixed typo

← Nächstältere Version		Version vom 17. Februar 2015, 12:39 Uhr
Zeile 18:		Zeile 18:

	== Siehe auch ==		== Siehe auch ==
	~~Eine~~ älteres Architekturkonzept der Systemsicherheit stellt das [[Bell-LaPadula-Sicherheitsmodell]] von 1973 dar, auf welches die Theorien des amerikanischen [[Trusted Computer System Evaluation Criteria\|Orange Book (TCSEC)]] aufbauen.<ref name="Voss2007">R. William Beckwith, W. Mark Vanfleet, Lee MacLaren: [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.121.4412&rep=rep1&type=pdf ''High Assurance Security/Safety for Deeply Embedded, Real-time Systems.''] In: ''Embedded Systems Conference, 2004. ESC-247 & ESC-267.''</ref> Weitere Konzepte sind unter [[Mandatory Access Control#Multi-Level-Sicherheitssysteme\|Multi-Level-Sicherheitssysteme]] (MLS) zu finden.		Ein älteres Architekturkonzept der Systemsicherheit stellt das [[Bell-LaPadula-Sicherheitsmodell]] von 1973 dar, auf welches die Theorien des amerikanischen [[Trusted Computer System Evaluation Criteria\|Orange Book (TCSEC)]] aufbauen.<ref name="Voss2007">R. William Beckwith, W. Mark Vanfleet, Lee MacLaren: [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.121.4412&rep=rep1&type=pdf ''High Assurance Security/Safety for Deeply Embedded, Real-time Systems.''] In: ''Embedded Systems Conference, 2004. ESC-247 & ESC-267.''</ref> Weitere Konzepte sind unter [[Mandatory Access Control#Multi-Level-Sicherheitssysteme\|Multi-Level-Sicherheitssysteme]] (MLS) zu finden.

	== Einzelnachweise ==		== Einzelnachweise ==

Mdjango: /* Verwendung */ +L4.

2014-08-07T19:36:26Z

Verwendung: +L4.

← Nächstältere Version		Version vom 7. August 2014, 21:36 Uhr
Zeile 13:		Zeile 13:
	== Verwendung ==		== Verwendung ==
	Einige kommerzielle [[Echtzeitbetriebssystem\|Echtzeitbetriebssystem (RTOS)]]-Anbieter wie Green Hills Software, LynuxWorks, SYSGO und [[Wind River Systems]] bieten ''MILS''-kompatible Betriebssysteme an.<ref name="Voss2007" />		Einige kommerzielle [[Echtzeitbetriebssystem\|Echtzeitbetriebssystem (RTOS)]]-Anbieter wie Green Hills Software, LynuxWorks, SYSGO und [[Wind River Systems]] bieten ''MILS''-kompatible Betriebssysteme an.<ref name="Voss2007" />
	''MILS''-Architekturen finden zum Beispiel in [[Mikrokernel\|mikrokernbasierten]], [[Kryptosystem\|kryptografisch]] abgesicherten [[Smartphone\|Smartphones]] für Regierungen Verwendung. Dazu zählt das ''Secure Microkernel''-Konzept nebst [[Android (Betriebssystem)\|Android]]-Smartphone der Trust2Core GmbH, einem [[Ableger (Wirtschaft)\|Spin-off]] der [[Telekom Innovation Laboratories]] (T-Labs).<ref>{{Internetquelle\| url=http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx\| titel=Trust2Core\| titelerg=Höchste Sicherheit und maximaler Spaß in einem Gerät\| werk= Telekom Innovation Laboratories\| datum=2013-00-00\| zugriff=2013-05-22}}</ref> Das System für die [[Sichere mobile Kommunikation]] (SiMKo) verwendet das Trust2Core-Konzept.		''MILS''-Architekturen finden zum Beispiel in [[Mikrokernel\|mikrokernbasierten]], [[Kryptosystem\|kryptografisch]] abgesicherten [[Smartphone\|Smartphones]] für Regierungen Verwendung.

			Dazu zählt das ''Secure Microkernel''-Konzept nebst [[Android (Betriebssystem)\|Android]]-Smartphone der Trust2Core GmbH, einem [[Ableger (Wirtschaft)\|Spin-off]] der [[Telekom Innovation Laboratories]] (T-Labs).<ref>{{Internetquelle\| url=http://www.laboratories.telekom.com/public/Deutsch/Innovation/success-stories/Pages/Trust2Core.aspx\| titel=Trust2Core\| titelerg=Höchste Sicherheit und maximaler Spaß in einem Gerät\| werk= Telekom Innovation Laboratories\| datum=2013-00-00\| zugriff=2013-05-22}}</ref> Das Konzept basiert auf einem [[L4 (Mikrokernel)]]-System. Das System für die [[Sichere mobile Kommunikation]] (SiMKo) verwendet das Trust2Core-Konzept.

	== Siehe auch ==		== Siehe auch ==

MorbZ-Bot: Bot: Füge Dateiinformationen hinzu

2013-11-28T21:37:40Z

Bot: Füge Dateiinformationen hinzu

← Nächstältere Version		Version vom 28. November 2013, 23:37 Uhr
Zeile 9:		Zeile 9:

	== Geschichte ==		== Geschichte ==
	John Rushby schlug 1981 in seinem Paper ''Design and Verification of Secure Systems'' erstmals eine Architektur mit Nutzung eines Sicherheitskernels (englisch: „security kernel“) vor. Dabei würde die Verifikation von ausführenden Komponenten von der Verifikation des Sicherheitskernels separiert. Diese Aufgabe würde durch eine neue verifizierende Technik mit dem Namen „proof of separability“ erfüllt werden.<ref>John Rushby: [http://www.csl.sri.com/papers/sosp81/sosp81.pdf ''Design and Verification of Secure Systems.''] In: ''Proc. ACM Symposium on Operating System Principles.'' Nr. 5, 1981, S. 12-21.</ref>{{Rp\|17}} Dieses sehr ähnliche Prinzip wurde für das ''MILS''-Konzept genutzt.		John Rushby schlug 1981 in seinem Paper ''Design and Verification of Secure Systems'' erstmals eine Architektur mit Nutzung eines Sicherheitskernels (englisch: „security kernel“) vor. Dabei würde die Verifikation von ausführenden Komponenten von der Verifikation des Sicherheitskernels separiert. Diese Aufgabe würde durch eine neue verifizierende Technik mit dem Namen „proof of separability“ erfüllt werden.<ref>John Rushby: [http://www.csl.sri.com/papers/sosp81/sosp81.pdf ''Design and Verification of Secure Systems.''] (PDF; 196 kB) In: ''Proc. ACM Symposium on Operating System Principles.'' Nr. 5, 1981, S. 12-21.</ref>{{Rp\|17}} Dieses sehr ähnliche Prinzip wurde für das ''MILS''-Konzept genutzt.

	== Verwendung ==		== Verwendung ==