skip to content
Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers Preview this item
ClosePreview this item
Checking...

Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Author: David HutchisonGerhard WeikumC Pandu RanganJohn C MitchellFriedemann MatternAll authors
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series: Lecture notes in computer science, 5491.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security. The 20 revised papers presented were carefully reviewed and selected from 59 submissions. The papers focus  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David Hutchison; Gerhard Weikum; C Pandu Rangan; John C Mitchell; Friedemann Mattern; Jon M Kleinberg; Josef Kittler; Takeo Kanade; Oscar Nierstrasz; Moni Naor; Pierpaolo Degano; Fabio Martinelli; Moshe Y Vardi; Demetri Terzopoulos; Madhu Sudan; Bernhard Steffen; Doug Tygar; Joshua Guttman
ISBN: 9783642014659 3642014658
OCLC Number: 428882932
Description: 1 online resource (: v.: digital.
Contents: Formal Certification of ElGamal Encryption --
Secure Information Flow as a Safety Property --
Who Can Declassify? --
Non-Interference for Deterministic Interactive Programs --
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels --
Causality and Accountability --
Dynamics, Robustness and Fragility of Trust --
Trust within the Context of Organizations: A Formal Approach --
Know What You Trust --
Privacy-Friendly Electronic Traffic Pricing via Commits --
A Formal Privacy Management Framework --
Parameterised Anonymity --
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder --
Petri Net Security Checker: Structural Non-interference at Work --
Verifying Multi-party Authentication Using Rank Functions and PVS --
The Append-Only Web Bulletin Board --
Secure Broadcast Ambients --
Extending Anticipation Games with Location, Penalty and Timeline --
Do You Really Mean What You Actually Enforced? --
Delegating Privileges over Finite Resources: A Quota Based Delegation Approach --
Access Control and Information Flow in Transactional Memory.
Series Title: Lecture notes in computer science, 5491.
Responsibility: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Pierpaolo Degano, Joshua Guttman, Fabio Martinelli.

Abstract:

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security. The 20 revised papers presented were carefully reviewed and selected from 59 submissions. The papers focus of formal aspects in security, trust and reputation, security protocol design and analysis, logics for security and trust, trust-based reasoning, distributed trust management systems, digital asset protection, data protection, privacy and id management issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, Web/grid services security/trust/privacy, security and risk assessment, resource and access control, as well as case studies.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/428882932> # Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "428882932" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/49024610#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/information_storage_and_retrieval> ; # Information Storage and Retrieval
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/systems_and_data_security> ; # Systems and Data Security
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/information_systems> ; # Information Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/data_encryption> ; # Data Encryption
    schema:about <http://id.worldcat.org/fast/887958> ; # Data protection
    schema:about <http://dewey.info/class/004.6/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/computer_communication_networks> ; # Computer Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/management_of_computing_and_information_systems> ; # Management of Computing and Information Systems
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/972781> ; # Information storage and retrieval systems
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/computers_and_society> ; # Computers and Society
    schema:about <http://id.loc.gov/authorities/subjects/sh85035859> ; # Data protection
    schema:about <http://id.loc.gov/authorities/subjects/sh85066163> ; # Information storage and retrieval systems
    schema:about <http://id.worldcat.org/fast/887935> ; # Data encryption (Computer science)
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/martinelli_fabio> ; # Fabio Martinelli
    schema:contributor <http://viaf.org/viaf/67527661> ; # Moni Naor
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/degano_pierpaolo> ; # Pierpaolo Degano
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/mitchell_john_c> ; # John C. Mitchell
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/vardi_moshe_y> ; # Moshe Y. Vardi
    schema:contributor <http://viaf.org/viaf/32154680> ; # Madhu Sudan
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/kittler_josef> ; # Josef Kittler
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/pandu_rangan_c> ; # C. Pandu Rangan
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/guttman_joshua> ; # Joshua Guttman
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/steffen_bernhard> ; # Bernhard Steffen
    schema:contributor <http://viaf.org/viaf/162691482> ; # Jon M. Kleinberg
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/terzopoulos_demetri> ; # Demetri Terzopoulos
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/kanade_takeo> ; # Takeo Kanade
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/weikum_gerhard> ; # Gerhard Weikum
    schema:contributor <http://viaf.org/viaf/38149066394665601007> ; # Doug Tygar
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/mattern_friedemann> ; # Friedemann Mattern
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/nierstrasz_oscar> ; # Oscar Nierstrasz
    schema:creator <http://experiment.worldcat.org/entity/work/data/49024610#Person/hutchison_david> ; # David Hutchison
    schema:datePublished "2009" ;
    schema:description "This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security. The 20 revised papers presented were carefully reviewed and selected from 59 submissions. The papers focus of formal aspects in security, trust and reputation, security protocol design and analysis, logics for security and trust, trust-based reasoning, distributed trust management systems, digital asset protection, data protection, privacy and id management issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, Web/grid services security/trust/privacy, security and risk assessment, resource and access control, as well as case studies."@en ;
    schema:description "Formal Certification of ElGamal Encryption -- Secure Information Flow as a Safety Property -- Who Can Declassify? -- Non-Interference for Deterministic Interactive Programs -- Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels -- Causality and Accountability -- Dynamics, Robustness and Fragility of Trust -- Trust within the Context of Organizations: A Formal Approach -- Know What You Trust -- Privacy-Friendly Electronic Traffic Pricing via Commits -- A Formal Privacy Management Framework -- Parameterised Anonymity -- Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder -- Petri Net Security Checker: Structural Non-interference at Work -- Verifying Multi-party Authentication Using Rank Functions and PVS -- The Append-Only Web Bulletin Board -- Secure Broadcast Ambients -- Extending Anticipation Games with Location, Penalty and Timeline -- Do You Really Mean What You Actually Enforced? -- Delegating Privileges over Finite Resources: A Quota Based Delegation Approach -- Access Control and Information Flow in Transactional Memory."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/49024610> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/49024610#CreativeWork/> ;
    schema:name "Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers"@en ;
    schema:productID "428882932" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/428882932#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/49024610#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
    schema:url <http://dx.doi.org/10.1007/978-3-642-01465-9> ;
    schema:workExample <http://worldcat.org/isbn/9783642014659> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-01465-9> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/428882932> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/49024610#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/degano_pierpaolo> # Pierpaolo Degano
    a schema:Person ;
    schema:familyName "Degano" ;
    schema:givenName "Pierpaolo" ;
    schema:name "Pierpaolo Degano" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/guttman_joshua> # Joshua Guttman
    a schema:Person ;
    schema:familyName "Guttman" ;
    schema:givenName "Joshua" ;
    schema:name "Joshua Guttman" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/hutchison_david> # David Hutchison
    a schema:Person ;
    schema:familyName "Hutchison" ;
    schema:givenName "David" ;
    schema:name "David Hutchison" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/kanade_takeo> # Takeo Kanade
    a schema:Person ;
    schema:familyName "Kanade" ;
    schema:givenName "Takeo" ;
    schema:name "Takeo Kanade" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/kittler_josef> # Josef Kittler
    a schema:Person ;
    schema:familyName "Kittler" ;
    schema:givenName "Josef" ;
    schema:name "Josef Kittler" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/martinelli_fabio> # Fabio Martinelli
    a schema:Person ;
    schema:familyName "Martinelli" ;
    schema:givenName "Fabio" ;
    schema:name "Fabio Martinelli" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/mattern_friedemann> # Friedemann Mattern
    a schema:Person ;
    schema:familyName "Mattern" ;
    schema:givenName "Friedemann" ;
    schema:name "Friedemann Mattern" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/mitchell_john_c> # John C. Mitchell
    a schema:Person ;
    schema:familyName "Mitchell" ;
    schema:givenName "John C." ;
    schema:name "John C. Mitchell" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/nierstrasz_oscar> # Oscar Nierstrasz
    a schema:Person ;
    schema:familyName "Nierstrasz" ;
    schema:givenName "Oscar" ;
    schema:name "Oscar Nierstrasz" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/pandu_rangan_c> # C. Pandu Rangan
    a schema:Person ;
    schema:familyName "Pandu Rangan" ;
    schema:givenName "C." ;
    schema:name "C. Pandu Rangan" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/steffen_bernhard> # Bernhard Steffen
    a schema:Person ;
    schema:familyName "Steffen" ;
    schema:givenName "Bernhard" ;
    schema:name "Bernhard Steffen" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/terzopoulos_demetri> # Demetri Terzopoulos
    a schema:Person ;
    schema:familyName "Terzopoulos" ;
    schema:givenName "Demetri" ;
    schema:name "Demetri Terzopoulos" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/vardi_moshe_y> # Moshe Y. Vardi
    a schema:Person ;
    schema:familyName "Vardi" ;
    schema:givenName "Moshe Y." ;
    schema:name "Moshe Y. Vardi" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/weikum_gerhard> # Gerhard Weikum
    a schema:Person ;
    schema:familyName "Weikum" ;
    schema:givenName "Gerhard" ;
    schema:name "Gerhard Weikum" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
    schema:name "Computer Communication Networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Topic/computer_science> # Computer Science
    a schema:Intangible ;
    schema:name "Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Topic/computers_and_society> # Computers and Society
    a schema:Intangible ;
    schema:name "Computers and Society"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Topic/information_storage_and_retrieval> # Information Storage and Retrieval
    a schema:Intangible ;
    schema:name "Information Storage and Retrieval"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Topic/information_systems> # Information Systems
    a schema:Intangible ;
    schema:name "Information Systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Topic/management_of_computing_and_information_systems> # Management of Computing and Information Systems
    a schema:Intangible ;
    schema:name "Management of Computing and Information Systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Topic/systems_and_data_security> # Systems and Data Security
    a schema:Intangible ;
    schema:name "Systems and Data Security"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85035859> # Data protection
    a schema:Intangible ;
    schema:name "Data protection"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85066163> # Information storage and retrieval systems
    a schema:Intangible ;
    schema:name "Information storage and retrieval systems"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/887935> # Data encryption (Computer science)
    a schema:Intangible ;
    schema:name "Data encryption (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/887958> # Data protection
    a schema:Intangible ;
    schema:name "Data protection"@en ;
    .

<http://id.worldcat.org/fast/972781> # Information storage and retrieval systems
    a schema:Intangible ;
    schema:name "Information storage and retrieval systems"@en ;
    .

<http://viaf.org/viaf/162691482> # Jon M. Kleinberg
    a schema:Person ;
    schema:familyName "Kleinberg" ;
    schema:givenName "Jon M." ;
    schema:name "Jon M. Kleinberg" ;
    .

<http://viaf.org/viaf/32154680> # Madhu Sudan
    a schema:Person ;
    schema:familyName "Sudan" ;
    schema:givenName "Madhu" ;
    schema:name "Madhu Sudan" ;
    .

<http://viaf.org/viaf/38149066394665601007> # Doug Tygar
    a schema:Person ;
    schema:familyName "Tygar" ;
    schema:givenName "Doug" ;
    schema:name "Doug Tygar" ;
    .

<http://viaf.org/viaf/67527661> # Moni Naor
    a schema:Person ;
    schema:familyName "Naor" ;
    schema:givenName "Moni" ;
    schema:name "Moni Naor" ;
    .

<http://worldcat.org/entity/work/data/49024610#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/428882932> ; # Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers
    .

<http://worldcat.org/isbn/9783642014659>
    a schema:ProductModel ;
    schema:isbn "3642014658" ;
    schema:isbn "9783642014659" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/428882932> ; # Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/428882932>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/428882932> ; # Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers
    schema:dateModified "2017-11-17" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.