Verfügbarkeit: Formal aspects in security and trust

Formal aspects in security and trust: 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2010
Schriftenreihe:	Lecture notes in computer science 5983
Schlagworte:	Authentifikation Zugriffskontrolle Anonymität Sicherheitsprotokoll Trusted Computing Konferenzschrift > 2009
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 278 S. graph. Darst.
ISBN:	9783642124587

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036425248
003	DE-604
005	20100629
007	t\|
008	100427s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 10,N11 \|2 dnb
016	7		\|a 1000753719 \|2 DE-101
020			\|a 9783642124587 \|c PB. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.) \|9 978-3-642-12458-7
024	3		\|a 9783642124587
028	5	2	\|a 80012380
035			\|a (OCoLC)610820595
035			\|a (DE-599)DNB1000753719
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-11 \|a DE-91G \|a DE-83
082	0		\|a 005.8 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 461f \|2 stub
084			\|a DAT 465f \|2 stub
084			\|a DAT 050f \|2 stub
245	1	0	\|a Formal aspects in security and trust \|b 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers \|c Pierpaolo Degano ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2010
300			\|a X, 278 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 5983
650	0	7	\|a Authentifikation \|0 (DE-588)4330656-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Zugriffskontrolle \|0 (DE-588)4293034-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Anonymität \|0 (DE-588)4471050-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Sicherheitsprotokoll \|0 (DE-588)4709127-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Trusted Computing \|0 (DE-588)7562931-8 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2009 \|2 gnd-content
689	0	0	\|a Trusted Computing \|0 (DE-588)7562931-8 \|D s
689	0	1	\|a Zugriffskontrolle \|0 (DE-588)4293034-0 \|D s
689	0	2	\|a Anonymität \|0 (DE-588)4471050-1 \|D s
689	0	3	\|a Authentifikation \|0 (DE-588)4330656-1 \|D s
689	0	4	\|a Sicherheitsprotokoll \|0 (DE-588)4709127-7 \|D s
689	0		\|5 DE-604
700	1		\|a Degano, Pierpaolo \|d 1950- \|e Sonstige \|0 (DE-588)115394869 \|4 oth
711	2		\|a FAST \|n 6 \|d 2009 \|c Eindhoven \|j Sonstige \|0 (DE-588)16063682-6 \|4 oth
830		0	\|a Lecture notes in computer science \|v 5983 \|w (DE-604)BV000000607 \|9 5983
856	4	2	\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3439858&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=020222018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020222018

Datensatz im Suchindex

_version_	1820875228302016512
adam_text	TABLE OF CONTENTS INVITED LECTURE SEMANTICS AND ENFORCEMENT OF EXPRESSIVE INFORMATION FLOW POLICIES . 1 ANINDYA BANERJEE SESSION 1. TRUST AN ALGEBRA FOR TRUST DILUTION AND TRUST FUSION 4 BAPTISTE ALCALDE AND SJOUKE MAUW HMM-BASED TRUST MODEL 21 EHAB ELSALAMOUNY, VLADIMIRO SASSONE, AND MOGENS NIELSEN DERIVING TRUST FROM EXPERIENCE 36 FLORIAN EILERS AND UWE NESTMANN REFLECTIONS ON TRUST: TRUST ASSURANCE BY DYNAMIC DISCOVERY OF STATIC PROPERTIES 51 ANDREW DRILLO AND JAMES RIELY SESSION 2. WORKFLOW AND ORCHESTRATION MODEL CHECKING OF SECURITY-SENSITIVE BUSINESS PROCESSES 66 ALESSANDRO ARMANDO AND SERENA ELISA PONTA SESSION 3. SECURE FLOW ANALYSING THE INFORMATION FLOW PROPERTIES OF OBJECT-CAPABILITY PATTERNS 81 TOBY MURRAY AND GAVIN LOWE APPLIED QUANTITATIVE INFORMATION FLOW AND STATISTICAL DATABASES 96 JONATHAN HAUSSER AND PASQUALE MALACARNI SPECIFICATION AND VERIFICATION OF SIDE CHANNEL DECLASSIFIEATION ILL JOSEF SVENNINGSSON AND DAVID SANDS SECURE INFORMATION FLOW FOR DISTRIBUTED SYSTEMS 126 RAFAEL ALPIZAR AND GEOFFREY SMITH BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1000753719 DIGITALISIERT DURCH X TABLE OF CONTENTS SESSION 4. MOBILITY AND DENIABILITY PROBABLE INNOCENCE IN THE PRESENCE OF INDEPENDENT KNOWLEDGE 141 SARDAOUNA HAMADOU. CATUSCIA PALAMIDESSI, VLADIMIRE» SASSONE, AND EHAB ELSALAMOUNY A CALCULUS OF TRUSTWORTHY AD HOC NETWORKS 157 MASSIMO M ERRO AND ELEONORA SIBILIO SESSION 5. PROTOCOLS 1 COMPARISON OF CRYPTOGRAPHIC VERIFICATION TOOLS DEALING WITH ALGEBRAIC PROPERTIES 173 PASCAL LAFOURCADE, VANESSA TERRADE, AND SYLVAIN VIGIER GAME-BASED VERIFICATION OF MULTI-PARTY CONTRACT SIGNING PROTOCOLS . 186 YING ZHANG, CHENYI ZHANG, JUN PANG, AND SJOUKE MAUW ATTACK. SOLUTION AND VERIFICATION FOR SHARED AUTHORISATION DATA IN TCG TPM 201 LIQUN CHEN AND MARK RYAN SESSION 6. PROTOCOLS 2 TRUSTED MULTIPLEXING OF CRYPTOGRAPHIC PROTOCOLS 217 JAY MCCARTHY AND SHRIRAM KRISHNAMURTHI SPECIFYING AND MODELLING SECURE CHANNELS IN STRAND SPACES 233 ALLAA KAMI! AND GAVIN LOWE SESSION 7. PROTOCOLS 3 INTEGRATING AUTOMATED AND INTERACTIVE PROTOCOL VERIFICATION 248 ACHIM D. BRUCKER AND SEBASTIAN A. MOEDERSHEIM A USER INTERFACE FOR A GAME-BASED PROTOCOL VERIFICATION TOOL 263 PEETER
any_adam_object	1
author_GND	(DE-588)115394869
building	Verbundindex
bvnumber	BV036425248
classification_rvk	SS 4800
classification_tum	DAT 461f DAT 465f DAT 050f
ctrlnum	(OCoLC)610820595 (DE-599)DNB1000753719
dewey-full	005.8
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.8
dewey-search	005.8
dewey-sort	15.8
dewey-tens	000 - Computer science, information, general works
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 cb4500</leader><controlfield tag="001">BV036425248</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100629</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">100427s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N11</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1000753719</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642124587</subfield><subfield code="c">PB. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-12458-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642124587</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80012380</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)610820595</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1000753719</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-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.8</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 461f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 465f</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="245" ind1="1" ind2="0"><subfield code="a">Formal aspects in security and trust</subfield><subfield code="b">6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers</subfield><subfield code="c">Pierpaolo Degano ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 278 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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5983</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Authentifikation</subfield><subfield code="0">(DE-588)4330656-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zugriffskontrolle</subfield><subfield code="0">(DE-588)4293034-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Anonymität</subfield><subfield code="0">(DE-588)4471050-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sicherheitsprotokoll</subfield><subfield code="0">(DE-588)4709127-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Trusted Computing</subfield><subfield code="0">(DE-588)7562931-8</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="y">2009</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Trusted Computing</subfield><subfield code="0">(DE-588)7562931-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zugriffskontrolle</subfield><subfield code="0">(DE-588)4293034-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Anonymität</subfield><subfield code="0">(DE-588)4471050-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Authentifikation</subfield><subfield code="0">(DE-588)4330656-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Sicherheitsprotokoll</subfield><subfield code="0">(DE-588)4709127-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Degano, Pierpaolo</subfield><subfield code="d">1950-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)115394869</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FAST</subfield><subfield code="n">6</subfield><subfield code="d">2009</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16063682-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5983</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5983</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3439858&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=020222018&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-020222018</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2009 gnd-content
genre_facet	Konferenzschrift 2009
id	DE-604.BV036425248
illustrated	Illustrated
indexdate	2025-01-10T15:12:16Z
institution	BVB
institution_GND	(DE-588)16063682-6
isbn	9783642124587
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020222018
oclc_num	610820595
open_access_boolean
owner	DE-706 DE-11 DE-91G DE-BY-TUM DE-83
owner_facet	DE-706 DE-11 DE-91G DE-BY-TUM DE-83
physical	X, 278 S. graph. Darst.
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal aspects in security and trust 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers Pierpaolo Degano ... (eds.) Berlin [u.a.] Springer 2010 X, 278 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5983 Authentifikation (DE-588)4330656-1 gnd rswk-swf Zugriffskontrolle (DE-588)4293034-0 gnd rswk-swf Anonymität (DE-588)4471050-1 gnd rswk-swf Sicherheitsprotokoll (DE-588)4709127-7 gnd rswk-swf Trusted Computing (DE-588)7562931-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 gnd-content Trusted Computing (DE-588)7562931-8 s Zugriffskontrolle (DE-588)4293034-0 s Anonymität (DE-588)4471050-1 s Authentifikation (DE-588)4330656-1 s Sicherheitsprotokoll (DE-588)4709127-7 s DE-604 Degano, Pierpaolo 1950- Sonstige (DE-588)115394869 oth FAST 6 2009 Eindhoven Sonstige (DE-588)16063682-6 oth Lecture notes in computer science 5983 (DE-604)BV000000607 5983 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3439858&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020222018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Formal aspects in security and trust 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers Lecture notes in computer science Authentifikation (DE-588)4330656-1 gnd Zugriffskontrolle (DE-588)4293034-0 gnd Anonymität (DE-588)4471050-1 gnd Sicherheitsprotokoll (DE-588)4709127-7 gnd Trusted Computing (DE-588)7562931-8 gnd
subject_GND	(DE-588)4330656-1 (DE-588)4293034-0 (DE-588)4471050-1 (DE-588)4709127-7 (DE-588)7562931-8 (DE-588)1071861417
title	Formal aspects in security and trust 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers
title_auth	Formal aspects in security and trust 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers
title_exact_search	Formal aspects in security and trust 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers
title_full	Formal aspects in security and trust 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers Pierpaolo Degano ... (eds.)
title_fullStr	Formal aspects in security and trust 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers Pierpaolo Degano ... (eds.)
title_full_unstemmed	Formal aspects in security and trust 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers Pierpaolo Degano ... (eds.)
title_short	Formal aspects in security and trust
title_sort	formal aspects in security and trust 6th international workshop fast 2009 eindhoven the netherlands november 5 6 2009 revised selected papers
title_sub	6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 ; revised selected papers
topic	Authentifikation (DE-588)4330656-1 gnd Zugriffskontrolle (DE-588)4293034-0 gnd Anonymität (DE-588)4471050-1 gnd Sicherheitsprotokoll (DE-588)4709127-7 gnd Trusted Computing (DE-588)7562931-8 gnd
topic_facet	Authentifikation Zugriffskontrolle Anonymität Sicherheitsprotokoll Trusted Computing Konferenzschrift 2009
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3439858&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020222018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT deganopierpaolo formalaspectsinsecurityandtrust6thinternationalworkshopfast2009eindhoventhenetherlandsnovember562009revisedselectedpapers AT fasteindhoven formalaspectsinsecurityandtrust6thinternationalworkshopfast2009eindhoventhenetherlandsnovember562009revisedselectedpapers

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge