Teams as types: a formal treatment of authorisation in groupware
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
2001
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | München, Techn. Univ., Diss., 2001 |
| Beschreibung: | 157 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013659694 | ||
| 003 | DE-604 | ||
| 005 | 20011012 | ||
| 007 | t | ||
| 008 | 010330s2001 m||| 00||| eng d | ||
| 016 | 7 | |a 961610409 |2 DE-101 | |
| 035 | |a (OCoLC)645741471 | ||
| 035 | |a (DE-599)BVBBV013659694 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-91G |a DE-12 | ||
| 084 | |a DAT 600d |2 stub | ||
| 100 | 1 | |a Naraschewski, Wolfgang |d 1970- |e Verfasser |0 (DE-588)123074142 |4 aut | |
| 245 | 1 | 0 | |a Teams as types |b a formal treatment of authorisation in groupware |c Wolfgang Naraschewski |
| 264 | 1 | |c 2001 | |
| 300 | |a 157 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a München, Techn. Univ., Diss., 2001 | ||
| 650 | 0 | 7 | |a Autorisierung |0 (DE-588)4638999-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a HOL |0 (DE-588)4335765-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Groupware |0 (DE-588)4561503-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Groupware |0 (DE-588)4561503-2 |D s |
| 689 | 0 | 1 | |a Autorisierung |0 (DE-588)4638999-4 |D s |
| 689 | 0 | 2 | |a HOL |0 (DE-588)4335765-9 |D s |
| 689 | 0 | |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=009333732&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009333732 | |
Datensatz im Suchindex
| _version_ | 1812460743631568896 |
|---|---|
| adam_text |
CONTENTS
1 INTRODUCTION 4
2 FOUNDATIONS 10
2.1 THE HOL LOGIC.^. . 10
2.1.1 SYNTAX AND SEMANTICS. 11
2.1.2 THEORIES. 11
2.1.3 CONSTANT DEFINITIONS. 11
2.1.4 TYPE DEFINITIONS . 12
2.2 OBJECT-ORIENTED CONCEPTS IN HOL. 12
2.2.1 EXTENSIBLE RECORDS. 13
2.2.2 HOOL. 18
2.2.3 ENCODING. 22
2.2.4 VERIFICATION. 25
2.3 MEMORIES AND REFERENCES . 27
3 FRAMEWORK LOGOS 36
3.1 GROUPS. 38
3.1.1 SUBJECTS. 38
3.1.2 MEMBERS . . 46
3.1.3 SUBGROUPS. 54
3.2 DATABASES. 59
3.2.1 DATA SPACE. 60
3.2.2 PROFILE DOCUMENTS. 61
3.2.3 ROLES . 62
3.2.4 ACCESS CONTROL LIST .
/. . .
63
3.2.5 STATES. 71
3-2.6 OPERATIONS AND GUARDS. 72
3.2.7 NAME AND ADDRESS BOOK. 78
3.2.8 OBJECT-ORIENTED CONCEPTS . 80
3.3 GROUPWARE SYSTEMS AND APPLICATIONS. 85
3.3.1 DATABASES. 86
3.3.2 STATES. 87
3.3.3 ACCESS CONTROL . 89
2
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/961610409
4 MODELLING LOTUS NOTES IN LOGOS 94
4.1 ABOUT LOTUS NOTES. 95
4.1.1 FUNCTIONALITY. 95
4.1.2 COMPONENTS . 96
4.1.3 SECURITY. 97
4.2 AUTHORISATION IN LOTUS NOTES. 99
4.2.1 NAME AND ADDRESS BOOK.100
4.2.2 DATABASES.101
4.2.3 DOCUMENTS.103
4.2.4 FIELDS.104
4.2.5 FORMS AND VIEWS.104
4.3 THE MODEL.104
4.3.1 DOCUMENTS.105
4.3.2 GROUPS .107
4.3.3 ROLES .107
4.3.4 ACCESS CONTROL LIST.108
4.3.5 READERS AND AUTHORS FIELDS.ILL
4.3.6 OPERATIONS AND GUARDS.ILL
4.3.7 NAME AND ADDRESS BOOK.115
5 CASE STUDY: SHARED DISCUSSION BBOARDS 116
5.1 ABOUT.116
5.2 REAL WORLD PROJECTS.118
5.2.1 GERMAN SCHOLARSHIP FOUNDATIONS.119
5.2.2 GLOBAL STUDENT PROJECTS.119
5.3 REALIZATION IN LOTUS NOTES.120
5.4 MODELLING IN LOGOS.123
5.4.1 REFERENCES.123
5.4.2 GROUPS .126
5.4.3 GLOBAL AND LOCAL NABS .127
5.4.4 BBOARD .133
5.4.5 APPLICATION.137
5.5 SAMPLE CORRECTNESS PROOF. 141
5.5.1 PROOF SKETCH.142
5.5.2 PROOF REALIZATION.143
5.5.3 EXTENSIONS .149
6 CONCLUSIONS 152
3 |
| any_adam_object | 1 |
| author | Naraschewski, Wolfgang 1970- |
| author_GND | (DE-588)123074142 |
| author_facet | Naraschewski, Wolfgang 1970- |
| author_role | aut |
| author_sort | Naraschewski, Wolfgang 1970- |
| author_variant | w n wn |
| building | Verbundindex |
| bvnumber | BV013659694 |
| classification_tum | DAT 600d |
| ctrlnum | (OCoLC)645741471 (DE-599)BVBBV013659694 |
| discipline | Informatik |
| format | 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">BV013659694</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20011012</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010330s2001 m||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">961610409</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)645741471</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013659694</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</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></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 600d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Naraschewski, Wolfgang</subfield><subfield code="d">1970-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123074142</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Teams as types</subfield><subfield code="b">a formal treatment of authorisation in groupware</subfield><subfield code="c">Wolfgang Naraschewski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">157 S.</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="500" ind1=" " ind2=" "><subfield code="a">München, Techn. Univ., Diss., 2001</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Autorisierung</subfield><subfield code="0">(DE-588)4638999-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">HOL</subfield><subfield code="0">(DE-588)4335765-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Groupware</subfield><subfield code="0">(DE-588)4561503-2</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">Groupware</subfield><subfield code="0">(DE-588)4561503-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Autorisierung</subfield><subfield code="0">(DE-588)4638999-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">HOL</subfield><subfield code="0">(DE-588)4335765-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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=009333732&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-009333732</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV013659694 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-09T18:07:37Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009333732 |
| oclc_num | 645741471 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 |
| physical | 157 S. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| record_format | marc |
| spelling | Naraschewski, Wolfgang 1970- Verfasser (DE-588)123074142 aut Teams as types a formal treatment of authorisation in groupware Wolfgang Naraschewski 2001 157 S. txt rdacontent n rdamedia nc rdacarrier München, Techn. Univ., Diss., 2001 Autorisierung (DE-588)4638999-4 gnd rswk-swf HOL (DE-588)4335765-9 gnd rswk-swf Groupware (DE-588)4561503-2 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Groupware (DE-588)4561503-2 s Autorisierung (DE-588)4638999-4 s HOL (DE-588)4335765-9 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009333732&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Naraschewski, Wolfgang 1970- Teams as types a formal treatment of authorisation in groupware Autorisierung (DE-588)4638999-4 gnd HOL (DE-588)4335765-9 gnd Groupware (DE-588)4561503-2 gnd |
| subject_GND | (DE-588)4638999-4 (DE-588)4335765-9 (DE-588)4561503-2 (DE-588)4113937-9 |
| title | Teams as types a formal treatment of authorisation in groupware |
| title_auth | Teams as types a formal treatment of authorisation in groupware |
| title_exact_search | Teams as types a formal treatment of authorisation in groupware |
| title_full | Teams as types a formal treatment of authorisation in groupware Wolfgang Naraschewski |
| title_fullStr | Teams as types a formal treatment of authorisation in groupware Wolfgang Naraschewski |
| title_full_unstemmed | Teams as types a formal treatment of authorisation in groupware Wolfgang Naraschewski |
| title_short | Teams as types |
| title_sort | teams as types a formal treatment of authorisation in groupware |
| title_sub | a formal treatment of authorisation in groupware |
| topic | Autorisierung (DE-588)4638999-4 gnd HOL (DE-588)4335765-9 gnd Groupware (DE-588)4561503-2 gnd |
| topic_facet | Autorisierung HOL Groupware Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009333732&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT naraschewskiwolfgang teamsastypesaformaltreatmentofauthorisationingroupware |