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 Guttman; Fabio Martinelli
Publisher: Berlin [etc.] : SpringerLink [host], 2009.
Series: Lecture notes in computer science, 5491.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

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...

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Document Type: Book
All Authors / Contributors: Pierpaolo Degano; Joshua Guttman; Fabio Martinelli
ISBN: 9783642014659 3642014658 364201464X 9783642014642
OCLC Number: 318785753
Description: tekst : ill.
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: Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.).
More information:

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/318785753> # Formal aspects in security and trust 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 : revised selected papers
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "318785753" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/49024610#Place/berlin_etc> ; # Berlin etc.
   schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/computer_security> ; # Computer security
   schema:about <http://id.worldcat.org/fast/1158174> ; # Trust
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:about <http://id.worldcat.org/fast/872484> ; # Computer security
   schema:about <http://id.loc.gov/authorities/subjects/sh85138261> ; # Trust
   schema:bookFormat bgn:PrintBook ;
   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#Meeting/international_workshop_on_formal_aspects_in_security_and_trust_fast_5_09_10_2008_10_10_2008_malaga_spain> ; # International Workshop on Formal Aspects in Security and Trust, FAST (5 : 09-10-2008 - 10-10-2008 : Malaga, Spain)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/martinelli_fabio> ; # Fabio Martinelli
   schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/degano_pierpaolo> ; # Pierpaolo Degano
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/49024610> ;
   schema:genre "Conference papers and proceedings" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/49024610#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Formal aspects in security and trust 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 : revised selected papers" ;
   schema:productID "318785753" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/318785753#PublicationEvent/berlin_etc_springerlink_host_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/49024610#Agent/springerlink_host> ; # SpringerLink [host]
   schema:workExample <http://worldcat.org/isbn/9783642014642> ;
   schema:workExample <http://worldcat.org/isbn/9783642014659> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/318785753> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/49024610#Agent/springerlink_host> # SpringerLink [host]
    a bgn:Agent ;
   schema:name "SpringerLink [host]" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Meeting/international_workshop_on_formal_aspects_in_security_and_trust_fast_5_09_10_2008_10_10_2008_malaga_spain> # International Workshop on Formal Aspects in Security and Trust, FAST (5 : 09-10-2008 - 10-10-2008 : Malaga, Spain)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/49024610#Place/malaga_spain> ; # Malaga, Spain)
   schema:name "International Workshop on Formal Aspects in Security and Trust, FAST (5 : 09-10-2008 - 10-10-2008 : Malaga, Spain)" ;
    .

<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/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#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/318785753> ; # 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://id.worldcat.org/fast/1158174> # Trust
    a schema:Intangible ;
   schema:name "Trust" ;
    .

<http://id.worldcat.org/fast/872484> # Computer security
    a schema:Intangible ;
   schema:name "Computer security" ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)" ;
    .

<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://www.worldcat.org/title/-/oclc/318785753>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/318785753> ; # Formal aspects in security and trust 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 : revised selected papers
   schema:dateModified "2017-04-02" ;
   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.