Verfügbarkeit: FMSE'03 :: THWS Bibkatalog

FMSE'03: proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Workshop on Formal Methods in Security Engineering Washington, DC (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	New York Association for Computing Machinery 2003
Schlagworte:	Méthode formelle Protocole de sécurité Sécurité informatique Computer security > Congresses Formal methods (Computer science) > Congresses Computersicherheit Formale Methode Konferenzschrift > 2003 > Washington DC
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	V, 87 S. Ill.
ISBN:	1581137818

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV019828345
003	DE-604
005	20050608
007	t
008	050601s2003 xxua\|\|\| \|\|\|\| 10\|\|\| eng d
010			\|a 2004300060
020			\|a 1581137818 \|9 1-581-13781-8
035			\|a (OCoLC)54688580
035			\|a (DE-599)BVBBV019828345
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a xxu \|c US
049			\|a DE-91G
050		0	\|a QA76.9.A25
082	0		\|a 005.8 \|2 22
084			\|a DAT 510f \|2 stub
084			\|a DAT 460f \|2 stub
111	2		\|a Workshop on Formal Methods in Security Engineering \|d 2003 \|c Washington, DC \|j Verfasser \|0 (DE-588)10075594-X \|4 aut
245	1	0	\|a FMSE'03 \|b proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03 \|c edited by Michael Backes ...
246	1	3	\|a Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering
246	1	3	\|a 2003 ACM Workshop on Formal Methods in Security Engineering
264		1	\|a New York \|b Association for Computing Machinery \|c 2003
300			\|a V, 87 S. \|b Ill.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650		7	\|a Méthode formelle \|2 rasuqam
650		7	\|a Protocole de sécurité \|2 rasuqam
650		7	\|a Sécurité informatique \|2 rasuqam
650		4	\|a Computer security \|v Congresses
650		4	\|a Formal methods (Computer science) \|v Congresses
650	0	7	\|a Computersicherheit \|0 (DE-588)4274324-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2003 \|z Washington DC \|2 gnd-content
689	0	0	\|a Computersicherheit \|0 (DE-588)4274324-2 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Backes, Michael \|e Sonstige \|4 oth
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=013153465&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-013153465

Datensatz im Suchindex

_version_	1804133333627568128
adam_text	Table of Contents Fast Automatic Synthesis of Security Protocols Using Backward Search Hongbin Zhou, Simon Foley .................. 1 Secure Protocol Composition (Extended Abstract) Anupam Datta, Ante Derek, John Mitchell, Dusko Pavlovic 11 Using Interval Logics for Temporal Analysis of Security Protocols Michael R. Hansen, Robin Sharp ...............24 A Compositional Framework for Access Control Policies Enforcement Francois Siewe, Antonio Can, Hussein Zedan ........32 Representation and Analysis of Coordinated Attacks Sviatoslav Braynov, Murtuza Jadliwala ............43 Algebraic Specification of Secure Risk Management Mohamed Hamdi, Noureddine Boudriga ...........52 Panel: Relating Cryptography and Formal Methods Michael Backes (Moderator), Catherine Meadows, John С Mitchell, Birgit Ρ fitzmann..............61 Formal Security Analysis in the Software Development Process Manuel Koch, Francesco Parisi-Presicce ...........67 authUML: A Three-phased Framework to Analyse Access Con¬ trol Specifications in Use Cases Khaled Alghathbar, Duminda Wijesekera ...........77
any_adam_object	1
author_corporate	Workshop on Formal Methods in Security Engineering Washington, DC
author_corporate_role	aut
author_facet	Workshop on Formal Methods in Security Engineering Washington, DC
author_sort	Workshop on Formal Methods in Security Engineering Washington, DC
building	Verbundindex
bvnumber	BV019828345
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.A25
callnumber-search	QA76.9.A25
callnumber-sort	QA 276.9 A25
callnumber-subject	QA - Mathematics
classification_tum	DAT 510f DAT 460f
ctrlnum	(OCoLC)54688580 (DE-599)BVBBV019828345
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>02165nam a2200505zc 4500</leader><controlfield tag="001">BV019828345</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050608 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050601s2003 xxua\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2004300060</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1581137818</subfield><subfield code="9">1-581-13781-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)54688580</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019828345</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A25</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.8</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 460f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Workshop on Formal Methods in Security Engineering</subfield><subfield code="d">2003</subfield><subfield code="c">Washington, DC</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10075594-X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">FMSE'03</subfield><subfield code="b">proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03</subfield><subfield code="c">edited by Michael Backes ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">2003 ACM Workshop on Formal Methods in Security Engineering</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Association for Computing Machinery</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 87 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="650" ind1=" " ind2="7"><subfield code="a">Méthode formelle</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Protocole de sécurité</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Sécurité informatique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer security</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">2003</subfield><subfield code="z">Washington DC</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Backes, Michael</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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=013153465&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013153465</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2003 Washington DC gnd-content
genre_facet	Konferenzschrift 2003 Washington DC
id	DE-604.BV019828345
illustrated	Illustrated
indexdate	2024-07-09T20:07:03Z
institution	BVB
institution_GND	(DE-588)10075594-X
isbn	1581137818
language	English
lccn	2004300060
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-013153465
oclc_num	54688580
open_access_boolean
owner	DE-91G DE-BY-TUM
owner_facet	DE-91G DE-BY-TUM
physical	V, 87 S. Ill.
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	Association for Computing Machinery
record_format	marc
spelling	Workshop on Formal Methods in Security Engineering 2003 Washington, DC Verfasser (DE-588)10075594-X aut FMSE'03 proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03 edited by Michael Backes ... Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering 2003 ACM Workshop on Formal Methods in Security Engineering New York Association for Computing Machinery 2003 V, 87 S. Ill. txt rdacontent n rdamedia nc rdacarrier Méthode formelle rasuqam Protocole de sécurité rasuqam Sécurité informatique rasuqam Computer security Congresses Formal methods (Computer science) Congresses Computersicherheit (DE-588)4274324-2 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 Washington DC gnd-content Computersicherheit (DE-588)4274324-2 s Formale Methode (DE-588)4333722-3 s DE-604 Backes, Michael Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013153465&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	FMSE'03 proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03 Méthode formelle rasuqam Protocole de sécurité rasuqam Sécurité informatique rasuqam Computer security Congresses Formal methods (Computer science) Congresses Computersicherheit (DE-588)4274324-2 gnd Formale Methode (DE-588)4333722-3 gnd
subject_GND	(DE-588)4274324-2 (DE-588)4333722-3 (DE-588)1071861417
title	FMSE'03 proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
title_alt	Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering 2003 ACM Workshop on Formal Methods in Security Engineering
title_auth	FMSE'03 proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
title_exact_search	FMSE'03 proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
title_full	FMSE'03 proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03 edited by Michael Backes ...
title_fullStr	FMSE'03 proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03 edited by Michael Backes ...
title_full_unstemmed	FMSE'03 proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03 edited by Michael Backes ...
title_short	FMSE'03
title_sort	fmse 03 proceedings of the 2003 acm workshop on formal methods in security engineering washington dc usa october 30 2003 co located with ccs 03
title_sub	proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
topic	Méthode formelle rasuqam Protocole de sécurité rasuqam Sécurité informatique rasuqam Computer security Congresses Formal methods (Computer science) Congresses Computersicherheit (DE-588)4274324-2 gnd Formale Methode (DE-588)4333722-3 gnd
topic_facet	Méthode formelle Protocole de sécurité Sécurité informatique Computer security Congresses Formal methods (Computer science) Congresses Computersicherheit Formale Methode Konferenzschrift 2003 Washington DC
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013153465&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT workshoponformalmethodsinsecurityengineeringwashingtondc fmse03proceedingsofthe2003acmworkshoponformalmethodsinsecurityengineeringwashingtondcusaoctober302003colocatedwithccs03 AT backesmichael fmse03proceedingsofthe2003acmworkshoponformalmethodsinsecurityengineeringwashingtondcusaoctober302003colocatedwithccs03 AT workshoponformalmethodsinsecurityengineeringwashingtondc proceedingsofthe2003acmworkshoponformalmethodsinsecurityengineering AT backesmichael proceedingsofthe2003acmworkshoponformalmethodsinsecurityengineering AT workshoponformalmethodsinsecurityengineeringwashingtondc 2003acmworkshoponformalmethodsinsecurityengineering AT backesmichael 2003acmworkshoponformalmethodsinsecurityengineering

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge