Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | German |
| Published: |
1993
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VII, 321 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009542913 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 940420s1993 d||| m||| 00||| gerod | ||
| 016 | 7 | |a 940565595 |2 DE-101 | |
| 035 | |a (OCoLC)46196580 | ||
| 035 | |a (DE-599)BVBBV009542913 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-91G |a DE-29T |a DE-12 |a DE-706 |a DE-11 |a DE-188 | ||
| 084 | |a DAT 250d |2 stub | ||
| 084 | |a DAT 286d |2 stub | ||
| 100 | 1 | |a Eckert, Claudia |d 1965- |e Verfasser |0 (DE-588)113873883 |4 aut | |
| 245 | 1 | 0 | |a Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme |c Claudia Eckert |
| 264 | 1 | |c 1993 | |
| 300 | |a VII, 321 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a München, Techn. Univ., Diss., 1993 | ||
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datensicherung |0 (DE-588)4011144-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 1 | |a Datensicherung |0 (DE-588)4011144-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 1 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006303349&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006303349 | |
Record in the Search Index
| _version_ | 1807324316672458752 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
1
ZIELSETZUNG
UND
LOESUNGSWEG
.
1
TEIL
I
GRUNDLAGEN
2
SICHERHEIT
IN
RECHENSYSTEMEN
.
6
2.1
EINLEITUNG
.
6
2.2
SICHERHEIT
IN
GESCHLOSSENEN
SYSTEMEN
.
8
2.3
SICHERHEIT
IN
OFFENEN
SYSTEMEN
.
11
3
MODELLE
FUER
SICHERE
SYSTEME
.
15
3.1
EINLEITUNG
.
15
3.2
ZUGRIFFSKONTROLLEN-BASIERTE
MODELLE
.
17
3.2.1
GESAMTSYSTEMSICHT,
INTEGRITAET
UND
SEQUENTIELLES
MODELL
.
18
3.2.2
GESAMTSYSTEMSICHT,
INTEGRITAET,
VERTRAULICHKEIT
UND
SEQUENTIELLES
MODELL
.
.23
3.2.3
GESAMTSYSTEMSICHT,
INTEGRITAET
UND
NEBENLAEUFIGES
MODELL
.
26
3.2.4
SUBSYSTEMSICHT,
INTEGRITAET,
VERTRAULICHKEIT
UND
NEBENLAEUFIGES
MODELL
.
27
3.3
INFORMATIONSFLUFI-BASIERTE
MODELLE
.
28
3.3.1
GESAMTSYSTEMSICHT,
VERTRAULICHKEIT
UND
SEQUENTIELLES
MODELL
.
28
3.3.2
SUBSYSTEMSICHT,
VERTRAULICHKEIT
UND
NEBENLAEUFIGES MODELL
.
29
3.4
NON-INTERFERENCE-MODELLE
.
31
3.4.1
GESAMTSYSTEMSICHT,
INTEGRITAET,
VERTRAULICHKEIT
UND
SEQUENTIELLES
MODELL
.31
3.4.2
GESAMTSYSTEMSICHT,
VERTRAULICHKEIT
UND
NEBENLAEUFIGES
MODELL
.
33
3.4.3
SUBSYSTEMSICHT,
VERTRAULICHKEIT
UND
NEBENLAEUFIGES
MODELL
.
34
3.5
ZUSAMMENFASSUNG
.
36
4
SPEZIFIKATION!
UND
VERIFIKATIONSSYSTEME
.
38
4.1
FORMAL
DEVELOPMENT
METHODOLOGY
(FDM)
.
38
4.2
GYPSY
VERIFIKATIONS-UMGEBUNG
.
39
4.3
THE
HIERARCHIEN!
DEVELOPMENT
METHODOLOGY
(HDM)
.
40
4.4
WEITERE
ANSAETZE
.
40
4.5
ZUSAMMENFASSUNG
.
41
5
ZUSAMMENFASSUNG
VON
TEIL
I
.
43
TEIL
II
SICHERE,
ABSTRAKT
VERTEILTE
SYSTEME
6
SYSTEM-MODELLE
.
46
6.1
LYANSITIONS-SYSTEM
.
46
6.2
KOMPONENTEN-MODELL
.
49
6.3
AKTIONEN-MODELL
.
53
6.4
MODELL
FUER
SICHERE,
ABSTRAKT
VERTEILTE
SYSTEME
.
57
6.5
SPEZIFIKATIONSSPRACHE
.
61
6.6
BEISPIEL
.
64
INHAJTSVERZEICHNIS
II
7
FORMALISIEREN
VON
SICHERHEITSEIGENSCHAFTEN
.
71
7.1
EFFEKTE
.
71
7.2
KOMPONENTEN-SICHT
UND
-AKTIVITAET
.
75
7.2.1
KOMPONENTEN-SICHT
.
76
7.2.2
AKTIVITAET
.
77
7.3
BEEINFLUSSBARKEIT
UND
BEOBACHTBARKEIT
.
.78
.
7.3.1
BEEINFLUSSBARKEIT
UND
BEOBACHTBARKEIT
VON
AKTIONEN
.
80
7.3.2
BEEINFLUSSBARKEIT
UND
BEOBACHTBARKEIT
VON
KOMPONENTEN
.
89
8
SPEZIFIKATION
VON
SICHERHEITSANFORDERUNGEN
.
94
8.1
EINLEITUNG
.
94
8.2
INTERFERENZ-FORMELN
.
96
8.2.1
BEEINFLUSSUNGSFREIHEIT
.
96
8.2.2
BEOBACHTUNGSFREIHEIT
.
99
8.2.3
BEDINGTE
BEEINFLUSSBARKEIT
.
101
8.2.4
BEDINGTE
BEOBACHTBARKEIT
.
106
8.3
ZUGRIFFSBESCHRAENKTHEIT
.
109
9
SICHERHEITSPOLITIKEN
.
112
9.1
POLITIKEN
UND
POLITIKVERTRAEGLICHKEIT
.
112
9.2
BEISPIELPOLITIKEN
.
115
9.2.1
BENUTZERBESTIMMBARE
POLITIKEN
.
115
9.2.2
MULTILEVEL
SECURITY
.
119
9.2.3
SEPARATION
.
122
9.2.4
CHANNEL
CONTROL
.
123
9.2.5
KLASSE
VON
PROBLEMBEZOGENEN
POLITIKEN
.
124
9.3
KONSISTENZ
VON
SICHERHEITSPOLITIKEN
.
129
9.3.1
ZUGRIFFSKONSISTENZ
.
130
9.3.2
KONSISTENZ
.
135
9.3.2.1
BEISPIEL
.
141
9.4
VOLLSTAENDIGKEIT
VON
POLITIKEN
.
142
9.5
RELATIONEN
AUF
POLITIKEN
.
145
9.5.1
KLASSIFIKATION
VON
SICHERHEITSPOLITIKEN
.
145
9.5.2
DOMINANZRELATIONEN
.
147
10
BEISPIELE
.
154
10.1
ISOLIERTE
PROZESSE
AUF
EINEM
EIN-PROZESSORSYSTEM
.
154
10.2
SYSTEM
MIT
RESSOURCEN-VERWALTERN
.
166
10.3
EINFACHES
ANWENDUNGSSZENARIO
.
180
11
ZUSAMMENFASSUNG
VON
TEIL
II
.
192
TEIL
III
PROGRAMMIERSPRACHLICHE
REALISIERUNG
12
KONZEPTE
DER
PROGRAMMIERSPRACHE
S-INSEL
.
195
12.1
SPRACH
UND
STRUKTURIERUNGSKONZEPTE
VON
INSEL
.
195
12.2
KONZEPTE-ERWEITERUNGEN:
CAPABILITIES
UND
MANAGER
.
198
12.3
SPRACH-ERGAENZUNGEN:
ANNOTATIONEN
.203
INHALTSVERZEICHNIS
III
12.3.1
ANNOTATIONEN
FUER
OPERATIONEN
.
204
12.3.2
ANNOTATIONEN
FUER
KOMPONENTEN
.218
12.3.2.1
SINGLE-VIEW-KOMPONENTEN
.219
12.3.2.2
MULTI-EIGENSCHAFTEN
VON
KOMPONENTEN
.224
13
MASSNAHMEN
ZUR
DURCHSETZUNG
VON
POLITIKEN
.
228
13.1
STRUKTURIERUNG
VON
SYSTEMEN
.
229
13.2
KONZEPT
ZUR
DEZENTRALEN
ZUGRIFFSKONTROLLE
.233
13.3
ANALYSEVERFAHREN
FUER
INTERFERENZPOLITIKEN
.245
14
ZUR
KONSTRUKTION
SICHERER,
VERTEILTER
SYSTEME
.264
14.1
DEFINITIONS
UND
KONZEPTIONSPHASE
.265
14.2
IMPLEMENTIERUNGSPHASE
.
269
15
ZUSAMMENFASSUNG
VON
TEIL
III
.276
16
ZUSAMMENFASSUNG
UND
AUSBLICK
.
278
LITERATURVERZEICHNIS
.
281
ANHANG
A
INSEL
UND
S-INSEL-SYNTAX
(AUSZUG)
.296
A.L
INSEL-SYNTAX
.
296
A.2
S-INSEL-SYNTAX
.
299
ANHANG
B
INFORMATIONSFLUESSE
IN
S-INSEL-ANWEISUNGEN
.
302
ANHANG
C
BEISPIELE
.
306
C.L
EIN-PROZESSORSYSTEM
(AUSZUG)
.306
C.2
SYSTEM
MIT
RESSOURCEN
VERWALTERN
(AUSZUG)
.
314
INDEX
.
317 |
| any_adam_object | 1 |
| author | Eckert, Claudia 1965- |
| author_GND | (DE-588)113873883 |
| author_facet | Eckert, Claudia 1965- |
| author_role | aut |
| author_sort | Eckert, Claudia 1965- |
| author_variant | c e ce |
| building | Verbundindex |
| bvnumber | BV009542913 |
| classification_tum | DAT 250d DAT 286d |
| ctrlnum | (OCoLC)46196580 (DE-599)BVBBV009542913 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV009542913</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940420s1993 d||| m||| 00||| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940565595</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46196580</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009542913</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 250d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Eckert, Claudia</subfield><subfield code="d">1965-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)113873883</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme</subfield><subfield code="c">Claudia Eckert</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 321 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">München, Techn. Univ., Diss., 1993</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006303349&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006303349</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV009542913 |
| illustrated | Illustrated |
| indexdate | 2024-08-14T01:26:21Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006303349 |
| oclc_num | 46196580 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-29T DE-12 DE-706 DE-11 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-29T DE-12 DE-706 DE-11 DE-188 |
| physical | VII, 321 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| spelling | Eckert, Claudia 1965- Verfasser (DE-588)113873883 aut Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme Claudia Eckert 1993 VII, 321 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier München, Techn. Univ., Diss., 1993 Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Datensicherung (DE-588)4011144-1 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Verteiltes System (DE-588)4238872-7 s Datensicherung (DE-588)4011144-1 s DE-604 Zuverlässigkeit (DE-588)4059245-5 s DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006303349&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Eckert, Claudia 1965- Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme Zuverlässigkeit (DE-588)4059245-5 gnd Datensicherung (DE-588)4011144-1 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4059245-5 (DE-588)4011144-1 (DE-588)4238872-7 (DE-588)4113937-9 |
| title | Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme |
| title_auth | Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme |
| title_exact_search | Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme |
| title_full | Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme Claudia Eckert |
| title_fullStr | Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme Claudia Eckert |
| title_full_unstemmed | Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme Claudia Eckert |
| title_short | Konzepte und Verfahren zur Konstruktion sicherer, verteilter Systeme |
| title_sort | konzepte und verfahren zur konstruktion sicherer verteilter systeme |
| topic | Zuverlässigkeit (DE-588)4059245-5 gnd Datensicherung (DE-588)4011144-1 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Zuverlässigkeit Datensicherung Verteiltes System Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006303349&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT eckertclaudia konzepteundverfahrenzurkonstruktionsichererverteiltersysteme |