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: Pierpaolo Degano; Joshua Guttmann; Fabio Martinelli
Publisher: Berlin : Springer, 2009.
Series: Lecture notes in computer science, 5491.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
Annotation 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  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
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
FAST 2008 (2008 : Malaga, Spain).
Formal aspects in security and trust.
Berlin : Springer, 2009
(OCoLC)319496994
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Pierpaolo Degano; Joshua Guttmann; Fabio Martinelli
ISBN: 9783642014659 3642014658 9783642014642 364201464X
OCLC Number: 405546170
Notes: International conference proceedings.
Description: 1 online resource (x, 330 pages) : illustrations.
Contents: Formal certification of EIGamal 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.
Other Titles: FAST 2008
Responsibility: Pierpaolo Degano, Joshua Guttmann, Fabio Martinelli (eds.).
More information:

Abstract:

Constitutes the 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  Read more...

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/405546170> # Formal aspects in security and trust 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "405546170" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1154324667#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/1154324667#Topic/trust> ; # Trust
    schema:about <http://experiment.worldcat.org/entity/work/data/1154324667#Topic/cryptography> ; # Cryptography
    schema:about <http://experiment.worldcat.org/entity/work/data/1154324667#Topic/computer_security> ; # Computer Security
    schema:about <http://experiment.worldcat.org/entity/work/data/1154324667#Topic/computing_methodologies> ; # Computing Methodologies
    schema:about <http://dewey.info/class/005.8/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1154324667#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/1154324667#Topic/computer_communication_networks> ; # Computer Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/1154324667#Topic/computer_networks_security_measures> ; # Computer networks--Security measures
    schema:alternateName "FAST 2008" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/13034291> ; # Pierpaolo Degano
    schema:contributor <http://viaf.org/viaf/211872736> ; # Joshua Guttmann
    schema:contributor <http://viaf.org/viaf/85555374> ; # Fabio Martinelli
    schema:creator <http://experiment.worldcat.org/entity/work/data/1154324667#Meeting/fast_workshop_5th_2008_malaga_spain> ; # FAST (Workshop) (5th : 2008 : Malaga, Spain)
    schema:datePublished "2009" ;
    schema:description "Annotation 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 EIGamal 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/1154324667> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1154324667#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isSimilarTo <http://www.worldcat.org/oclc/319496994> ;
    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 "405546170" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/405546170#PublicationEvent/berlin_springer_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1154324667#Agent/springer> ; # Springer
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-01464-2> ;
    schema:url <http://springerlink.com/openurl.asp?genre=book&isbn=978-3-642-01464-2> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-01465-9> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3064114> ;
    schema:url <http://site.ebrary.com/id/10289807> ;
    schema:workExample <http://worldcat.org/isbn/9783642014642> ;
    schema:workExample <http://worldcat.org/isbn/9783642014659> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/405546170> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1154324667#Meeting/fast_workshop_5th_2008_malaga_spain> # FAST (Workshop) (5th : 2008 : Malaga, Spain)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1154324667#Place/malaga_spain> ; # Malaga, Spain)
    schema:name "FAST (Workshop) (5th : 2008 : Malaga, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1154324667#Place/malaga_spain> # Malaga, Spain)
    a schema:Place ;
    schema:name "Malaga, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1154324667#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/405546170> ; # Formal aspects in security and trust 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1154324667#Topic/computer_networks_security_measures> # Computer networks--Security measures
    a schema:Intangible ;
    schema:name "Computer networks--Security measures"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1154324667#Topic/computer_security> # Computer Security
    a schema:Intangible ;
    schema:name "Computer Security"@en ;
    schema:name "Computer security"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1154324667#Topic/computing_methodologies> # Computing Methodologies
    a schema:Intangible ;
    schema:name "Computing Methodologies"@en ;
    .

<http://viaf.org/viaf/13034291> # Pierpaolo Degano
    a schema:Person ;
    schema:birthDate "1950" ;
    schema:familyName "Degano" ;
    schema:givenName "Pierpaolo" ;
    schema:name "Pierpaolo Degano" ;
    .

<http://viaf.org/viaf/211872736> # Joshua Guttmann
    a schema:Person ;
    schema:familyName "Guttmann" ;
    schema:givenName "Joshua" ;
    schema:name "Joshua Guttmann" ;
    .

<http://viaf.org/viaf/85555374> # Fabio Martinelli
    a schema:Person ;
    schema:birthDate "1969" ;
    schema:familyName "Martinelli" ;
    schema:givenName "Fabio" ;
    schema:name "Fabio Martinelli" ;
    .

<http://worldcat.org/isbn/9783642014642>
    a schema:ProductModel ;
    schema:isbn "364201464X" ;
    schema:isbn "9783642014642" ;
    .

<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/405546170> ; # 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," ;
    .

<http://www.worldcat.org/oclc/319496994>
    a schema:CreativeWork ;
    rdfs:label "Formal aspects in security and trust." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/405546170> ; # Formal aspects in security and trust 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers
    .

<http://www.worldcat.org/title/-/oclc/405546170>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/405546170> ; # Formal aspects in security and trust 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers
    schema:dateModified "2016-01-20" ;
    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.