Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Sankt Augustin
Ges. für Mathematik und Datenverarbeitung
1994
|
| Series: | Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien
234 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 77 S. Ill. |
| ISBN: | 3884572342 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009686548 | ||
| 003 | DE-604 | ||
| 005 | 19950512 | ||
| 007 | t| | ||
| 008 | 940627s1994 gw a||| |||| 00||| ger d | ||
| 016 | 7 | |a 941465381 |2 DE-101 | |
| 020 | |a 3884572342 |9 3-88457-234-2 | ||
| 035 | |a (OCoLC)75480597 | ||
| 035 | |a (DE-599)BVBBV009686548 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-91G |a DE-12 |a DE-739 |a DE-703 |a DE-210 | ||
| 084 | |a SI 213 |0 (DE-625)143105: |2 rvk | ||
| 084 | |a DAT 189d |2 stub | ||
| 100 | 1 | |a Nebel, Markus |d 1969- |e Verfasser |0 (DE-588)120378663 |4 aut | |
| 245 | 1 | 0 | |a Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung |c Markus Nebel |
| 264 | 1 | |a Sankt Augustin |b Ges. für Mathematik und Datenverarbeitung |c 1994 | |
| 300 | |a 77 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien |v 234 | |
| 650 | 0 | 7 | |a Produktnetz |0 (DE-588)4380518-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Betriebssystem |0 (DE-588)4006216-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Chipkarte |0 (DE-588)4147723-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Chipkarte |0 (DE-588)4147723-6 |D s |
| 689 | 0 | 1 | |a Betriebssystem |0 (DE-588)4006216-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Chipkarte |0 (DE-588)4147723-6 |D s |
| 689 | 1 | 1 | |a Betriebssystem |0 (DE-588)4006216-8 |D s |
| 689 | 1 | 2 | |a Produktnetz |0 (DE-588)4380518-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien |v 234 |w (DE-604)BV035611570 |9 234 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006406042&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006406042 | |
Record in the Search Index
| _version_ | 1818693003581063168 |
|---|---|
| adam_text |
GMD-Studien Nr 234
Markus Nebel
Ein Produktnetz zur Verifikation
von Smartcard-Anwendungen in
der STARCOS-Umgebung
Juli 1994
GESELLSCHAR FÜR MATHEMATIK
UND DATENVERARBEITUNG MBH
Fachbereichsbibliothek Informatik
TU Darm stadt
59528670
1 Vorwort und Motivation 1
2 Die STARCOS-Umgebung 3
2 1 Chip- und Smartcards 3
211 Geschichte der Smartcard 3
212 Stand der Technik und der Normung 3
213 Die Sicherheitsproblematik von Smartcardanwendungen 5
2 2 Die STARCOS-Umgebung und ihre Komponenten 6
2 3 Die Smartcard mit STARCOS 10
231 Der Systemkem 10
2311 Das Dateiverwaltungssystem 10
2312 Das Schlüsselverwaltungssystem und die kryptographischen
Funktionen 13
232 Der Transmission Manager 15
233 Application Manager und Security Manager 15
234 Der STARCOS-Kommandosatz 16
2 4 Das Smartcardterminal STARTERM 20
241 Die Schlüssel des Smartcardterminals 21
2411 Benutzerschlüssel 21
2412 Geräteschlüssel 22
2413 Der Initial DES-Geräteschlüsselsatz 24
2414 Session Schlüssel 24
2415 Das RSA - Transportschlüsselpaar 25
242 Der STARTERM Kommandosatz 25
243 Umsetzung von Terminal-Kommandos in Smartcard Kommandos 29
2 5 Die Anwendungsschnittstelle STARMOD 31
251 Die Verarbeitung von Funktionsaufrufen 31
252 Die STARMOD-Funktionen 33
253 Die Transformationstabelle der STARMOD-Prozeduren 37
3 Die Produktnetzspezifikation der STARCOS-Umgebung 40
3 1 Warum Produktnetze für die STARCOS-Umgebung 40
3 2 Grundlegende Eigenschaften der erstellten Produktnetzspezifikation 41
3 3 Denkbare Ziele der Produktnetzanalyse 42
331 Designunterstützung 43
332 Designverifikation 43
3 4 Die erstellte Produktnetzspezifikation 45
341 Der Vorspann 45
342 Die Teilnetze und ihre Schnittstellen 50
343 Die Produktnetze der Smartcard mit STARCOS 57
3431 Gemeinsam genutzte Stellen der Smartcard-Teilnetze 57
3432 Die Teilnetze der Smartcard
344 Die Produktnetze von STARTERM 60
3441 Gemeinsam genutzte Stellen der STARTERM-Teilnetze 60
3442 Die Teilnetze von STARTERM
345 Die Produktnetze von STARMOD 62
3451 Der Anwendungsautomat von STARMOD 62
3452 Die gemeinsam genutzten Stellen der STARMOD-Teilnetze 62
3453 Die Teilnetze von STARMOD
4 Verifikation der Smartcard-Anwendung Elektronischer
Führerschein 66
4 1 Die Smartcard-Anwendung Elektronischer Führerschein 66
4 2 Die Anwendung Elektronischer Führerschein im Produktnetz 68
4 3 Die Analyse 70
5 Ausblick 76
6 Quellennachweis 77
7 Anhang
7 1 Anhang A (Die Vorspanndatei)
7 2 Anhang B (Die STARCOS-Produktnetze)
7 3 AnhangC (Die STARTERM-Produktnetze)
7 4 Anhang D (Die STARMOD-Produktnetze)
7 5 Anhang E (Ausgaben des Analysewerkzeugs)
Bemerkung: Die in der Inhaltsangabe kursiv dargestellten Abschnitte 343 2, 3442 und
3453 sowie der gesamte Anhang sind aus Platzgründen in dieser verkürzten
Ausgabe der Arbeit nicht enthalten Sie können jedoch in der Originalversion
der Arbeit nachgelesen werden, welche auf Anfrage vom Autor zur Verfü-
gung gestellt, oder per FTP als Postscript®-File auf dem Server ftp darm-
stadt gmd de im Verzeichnis pub/produktnetz unter dem Namen STAR- |
| any_adam_object | 1 |
| author | Nebel, Markus 1969- |
| author_GND | (DE-588)120378663 |
| author_facet | Nebel, Markus 1969- |
| author_role | aut |
| author_sort | Nebel, Markus 1969- |
| author_variant | m n mn |
| building | Verbundindex |
| bvnumber | BV009686548 |
| classification_rvk | SI 213 |
| classification_tum | DAT 189d |
| ctrlnum | (OCoLC)75480597 (DE-599)BVBBV009686548 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV009686548</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950512</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940627s1994 gw a||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941465381</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3884572342</subfield><subfield code="9">3-88457-234-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75480597</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009686548</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 213</subfield><subfield code="0">(DE-625)143105:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 189d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nebel, Markus</subfield><subfield code="d">1969-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120378663</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung</subfield><subfield code="c">Markus Nebel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Sankt Augustin</subfield><subfield code="b">Ges. für Mathematik und Datenverarbeitung</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">77 S.</subfield><subfield code="b">Ill.</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="490" ind1="1" ind2=" "><subfield code="a">Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien</subfield><subfield code="v">234</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Produktnetz</subfield><subfield code="0">(DE-588)4380518-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Chipkarte</subfield><subfield code="0">(DE-588)4147723-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Chipkarte</subfield><subfield code="0">(DE-588)4147723-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</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">Chipkarte</subfield><subfield code="0">(DE-588)4147723-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Produktnetz</subfield><subfield code="0">(DE-588)4380518-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien</subfield><subfield code="v">234</subfield><subfield code="w">(DE-604)BV035611570</subfield><subfield code="9">234</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS 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=006406042&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-006406042</subfield></datafield></record></collection> |
| id | DE-604.BV009686548 |
| illustrated | Illustrated |
| indexdate | 2024-12-17T13:06:46Z |
| institution | BVB |
| isbn | 3884572342 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006406042 |
| oclc_num | 75480597 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 DE-739 DE-703 DE-210 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 DE-739 DE-703 DE-210 |
| physical | 77 S. Ill. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Ges. für Mathematik und Datenverarbeitung |
| record_format | marc |
| series | Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien |
| series2 | Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien |
| spelling | Nebel, Markus 1969- Verfasser (DE-588)120378663 aut Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung Markus Nebel Sankt Augustin Ges. für Mathematik und Datenverarbeitung 1994 77 S. Ill. txt rdacontent n rdamedia nc rdacarrier Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien 234 Produktnetz (DE-588)4380518-8 gnd rswk-swf Betriebssystem (DE-588)4006216-8 gnd rswk-swf Chipkarte (DE-588)4147723-6 gnd rswk-swf Chipkarte (DE-588)4147723-6 s Betriebssystem (DE-588)4006216-8 s DE-604 Produktnetz (DE-588)4380518-8 s Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien 234 (DE-604)BV035611570 234 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006406042&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Nebel, Markus 1969- Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien Produktnetz (DE-588)4380518-8 gnd Betriebssystem (DE-588)4006216-8 gnd Chipkarte (DE-588)4147723-6 gnd |
| subject_GND | (DE-588)4380518-8 (DE-588)4006216-8 (DE-588)4147723-6 |
| title | Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung |
| title_auth | Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung |
| title_exact_search | Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung |
| title_full | Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung Markus Nebel |
| title_fullStr | Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung Markus Nebel |
| title_full_unstemmed | Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung Markus Nebel |
| title_short | Ein Produktnetz zur Verifikation von Smartcard-Anwendungen in der STARCOS-Umgebung |
| title_sort | ein produktnetz zur verifikation von smartcard anwendungen in der starcos umgebung |
| topic | Produktnetz (DE-588)4380518-8 gnd Betriebssystem (DE-588)4006216-8 gnd Chipkarte (DE-588)4147723-6 gnd |
| topic_facet | Produktnetz Betriebssystem Chipkarte |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006406042&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035611570 |
| work_keys_str_mv | AT nebelmarkus einproduktnetzzurverifikationvonsmartcardanwendungeninderstarcosumgebung |