Proceedings: May 16 - 18, 1994, Oakland, Calif.
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Washington [u.a.]
IEEE Computer Society Press
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 243 Seiten graph. Darst. |
| ISBN: | 0818656751 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010650506 | ||
| 003 | DE-604 | ||
| 005 | 20200428 | ||
| 007 | t| | ||
| 008 | 960307s1994 xx d||| |||| 10||| eng d | ||
| 020 | |a 0818656751 |9 0-8186-5675-1 | ||
| 035 | |a (OCoLC)634752729 | ||
| 035 | |a (DE-599)BVBBV010650506 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-83 |a DE-188 | ||
| 084 | |a DAT 460f |2 stub | ||
| 084 | |a DAT 050f |2 stub | ||
| 111 | 2 | |a Symposium on Research in Security and Privacy |n 15 |d 1994 |c Oakland, Calif. |j Verfasser |0 (DE-588)5125693-9 |4 aut | |
| 245 | 1 | 0 | |a Proceedings |b May 16 - 18, 1994, Oakland, Calif. |c 1994 IEEE Computer Society Symposium on Research in Security and Privacy |
| 246 | 1 | 3 | |a Research in security and privacy |
| 264 | 1 | |a Washington [u.a.] |b IEEE Computer Society Press |c 1994 | |
| 300 | |a VIII, 243 Seiten |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Datenschutz |0 (DE-588)4011134-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datensicherung |0 (DE-588)4011144-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Datensicherung |0 (DE-588)4011144-1 |D s |
| 689 | 0 | 1 | |a Datenschutz |0 (DE-588)4011134-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007107838&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007107838 | |
Datensatz im Suchindex
| _version_ | 1820882558448041984 |
|---|---|
| adam_text |
Table
of Contents
Message from the Program Chairs
.
vii
Conference Committee
.viii
Formal Modeling of Cryptographic Protocols
Session Chair: Stuart Stubblebine
A Model for Secure Protocols and Their Compositions
.2
N.
Heintze and J.D. Tygar
On Unifying Some Cryptographic Protocol Logics
.14
P. Syverson and
P.C.
van
Oorschot
Information Flow
Session Chair: Jonathan
Milieu
Eliminating Formal Flows in Automated Information Flow Analysis
.30
S.T.
Eckmann
Mode Security: An Infrastructure for Covert Channel Suppression
.39
R. Browne
Simple Timing Channels
.56
I.S. Moskowitz and
AR.
Miller
PANEL: Firewalls
Composition of Secure Systems
Session Chair: Raphael Yahalom
Asynchronous Composition and Required Security Conditions
.68
N.
Boulahia-Cuppens and
F. Cuppens
A General Theory of Composition for Trace Sets Closed under Selective
Interleaving Functions
.79
J. McLean
Database I
Session Chair: Ross Anderson
Ensuring Data Security in Interrelated Tabular Data
.96
R. Kumar
Collecting Garbage in Multilevel Secure Object Stores
.106
E.
Bertino,
L.
V.
Mancini, and
S. Jajodia
Cryptographie Engineering
Session Chair:
Tom Berson
Prudent Engineering
Practice for
Cryptographie Protocols
.122
M.
Abadi
and R. Needham
Generating Formal
Cryptographie Protocol
Specifications
.137
U.
Carlsen
A Low Cost, High Speed Encryption System and Method
.147
G.L. Mayhew
PANEL: What Security Needs To Learn From Other Fields
Database
Π
Session Chair: Catherine Meadows
Inference Channel-Free Integrity Constraints in Multilevel Relational Databases
.158
X. Qian
Elimination of Inference Channels by Optimal Upgrading
.168
Af.fi. Stickel
Distributed Systems
Session Chair: GeneTsudik
A Secure Group Membership Protocol
.176
M.K.
Reiter
The Complexity and Composability of Secure Interoperation
.190
L. Gong and X. Qian
Access Control
Session Chair: John McHugh
Self-Nonself Discrimination in a Computer
.202
S. Forrest, A.S. Perelson, L. Allen, and R. Cherukuri
Extending the Schematic Protection Model
-
1 Conditional
Tickets and Authentication
.213
V. Varadharajan and C.
Calvelli
On the Minimality of Testing for Rights in Transformation Models
.230
R.S. Sandhu and
S. Ganta
Author Index
.242
vi |
| any_adam_object | 1 |
| author_corporate | Symposium on Research in Security and Privacy Oakland, Calif |
| author_corporate_role | aut |
| author_facet | Symposium on Research in Security and Privacy Oakland, Calif |
| author_sort | Symposium on Research in Security and Privacy Oakland, Calif |
| building | Verbundindex |
| bvnumber | BV010650506 |
| classification_rvk | SS 1994 |
| classification_tum | DAT 460f DAT 050f |
| ctrlnum | (OCoLC)634752729 (DE-599)BVBBV010650506 |
| discipline | Informatik |
| format | Conference Proceeding 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">BV010650506</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200428</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960307s1994 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818656751</subfield><subfield code="9">0-8186-5675-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634752729</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010650506</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 460f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 050f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Research in Security and Privacy</subfield><subfield code="n">15</subfield><subfield code="d">1994</subfield><subfield code="c">Oakland, Calif.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5125693-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">May 16 - 18, 1994, Oakland, Calif.</subfield><subfield code="c">1994 IEEE Computer Society Symposium on Research in Security and Privacy</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Research in security and privacy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Washington [u.a.]</subfield><subfield code="b">IEEE Computer Society Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 243 Seiten</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="650" ind1="0" ind2="7"><subfield code="a">Datenschutz</subfield><subfield code="0">(DE-588)4011134-9</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Datenschutz</subfield><subfield code="0">(DE-588)4011134-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=007107838&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007107838</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV010650506 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:08:48Z |
| institution | BVB |
| institution_GND | (DE-588)5125693-9 |
| isbn | 0818656751 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007107838 |
| oclc_num | 634752729 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-83 DE-188 |
| physical | VIII, 243 Seiten graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | IEEE Computer Society Press |
| record_format | marc |
| spelling | Symposium on Research in Security and Privacy 15 1994 Oakland, Calif. Verfasser (DE-588)5125693-9 aut Proceedings May 16 - 18, 1994, Oakland, Calif. 1994 IEEE Computer Society Symposium on Research in Security and Privacy Research in security and privacy Washington [u.a.] IEEE Computer Society Press 1994 VIII, 243 Seiten graph. Darst. txt rdacontent n rdamedia nc rdacarrier Datenschutz (DE-588)4011134-9 gnd rswk-swf Datensicherung (DE-588)4011144-1 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Datensicherung (DE-588)4011144-1 s Datenschutz (DE-588)4011134-9 s 1\p DE-604 Programmiersprache (DE-588)4047409-4 s 2\p DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007107838&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Proceedings May 16 - 18, 1994, Oakland, Calif. Datenschutz (DE-588)4011134-9 gnd Datensicherung (DE-588)4011144-1 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4011134-9 (DE-588)4011144-1 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Proceedings May 16 - 18, 1994, Oakland, Calif. |
| title_alt | Research in security and privacy |
| title_auth | Proceedings May 16 - 18, 1994, Oakland, Calif. |
| title_exact_search | Proceedings May 16 - 18, 1994, Oakland, Calif. |
| title_full | Proceedings May 16 - 18, 1994, Oakland, Calif. 1994 IEEE Computer Society Symposium on Research in Security and Privacy |
| title_fullStr | Proceedings May 16 - 18, 1994, Oakland, Calif. 1994 IEEE Computer Society Symposium on Research in Security and Privacy |
| title_full_unstemmed | Proceedings May 16 - 18, 1994, Oakland, Calif. 1994 IEEE Computer Society Symposium on Research in Security and Privacy |
| title_short | Proceedings |
| title_sort | proceedings may 16 18 1994 oakland calif |
| title_sub | May 16 - 18, 1994, Oakland, Calif. |
| topic | Datenschutz (DE-588)4011134-9 gnd Datensicherung (DE-588)4011144-1 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Datenschutz Datensicherung Programmiersprache Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007107838&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonresearchinsecurityandprivacyoaklandcalif proceedingsmay16181994oaklandcalif AT symposiumonresearchinsecurityandprivacyoaklandcalif researchinsecurityandprivacy |