skip to content
Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers Preview this item
ClosePreview this item
Checking...

Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers

Author: Gilles Barthe
Publisher: Berlin ; New York : Springer, ©2006.
Series: Lecture notes in computer science, 3956.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005.

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
Congrès
Additional Physical Format: Print version:
CASSIS (Conference) (2005 : Nice, France).
Construction and analysis of safe, secure, and interoperable smart devices.
Berlin ; New York : Springer, ©2006
(DLC) 2006924174
(OCoLC)68961985
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Gilles Barthe
ISBN: 9783540336914 3540336915 3540336893 9783540336891
OCLC Number: 262692326
Description: 1 online resource (vi, 173 pages) : illustrations.
Contents: The Architecture of a Privacy-Aware Access Control Decision Component.- Mobile Resource Guarantees and Policies.- Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.- Romization: Early Deployment and Customization of Java Systems for Constrained Devices.- Typed Compilation Against Non-manifest Base Classes.- The Design of Application-Tailorable Operating System Product Lines.- Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach.- Modular Proof Principles for Parameterised Concretizations.- Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.
Series Title: Lecture notes in computer science, 3956.
Other Titles: CASSIS 2005
Responsibility: Gilles Barthe [and others] (eds.).

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/262692326> # Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "262692326" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/198884920#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/198884920#Topic/computers_hardware_general> ; # COMPUTERS--Hardware--General
    schema:about <http://experiment.worldcat.org/entity/work/data/198884920#Topic/computers_computer_engineering> ; # COMPUTERS--Computer Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/198884920#Topic/computer_storage_devices> ; # Computer storage devices
    schema:about <http://experiment.worldcat.org/entity/work/data/198884920#Topic/computer_security> ; # Computer security
    schema:about <http://id.worldcat.org/fast/872634> ; # Computer storage devices
    schema:about <http://experiment.worldcat.org/entity/work/data/198884920#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
    schema:about <http://id.worldcat.org/fast/872484> ; # Computer security
    schema:about <http://experiment.worldcat.org/entity/work/data/198884920#Topic/cartes_a_memoire_securite_mesures> ; # Cartes à mémoire--Sécurité--Mesures
    schema:about <http://experiment.worldcat.org/entity/work/data/198884920#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/198884920#Topic/teleinformatique_securite_mesures> ; # Téléinformatique--Sécurité--Mesures
    schema:about <http://dewey.info/class/621.3976/e22/> ;
    schema:alternateName "CASSIS 2005" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/8307380> ; # Gilles Barthe
    schema:copyrightYear "2006" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/198884920#Meeting/cassis_conference_2005_nice_france> ; # CASSIS (Conference) (2005 : Nice, France)
    schema:datePublished "2006" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/198884920> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/68961985> ;
    schema:name "Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers"@en ;
    schema:productID "262692326" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262692326#PublicationEvent/berlin_new_york_springer_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/198884920#Agent/springer> ; # Springer
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/11741060> ;
    schema:url <http://site.ebrary.com/id/10528993> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/11741060> ;
    schema:url <https://ebookcentral.proquest.com/lib/ualberta/detail.action?docID=3068001> ;
    schema:url <http://link.springer.com/10.1007/11741060> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3956> ;
    schema:url <http://www.myilibrary.com?id=138775> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3068001> ;
    schema:url <http://dx.doi.org/10.1007/11741060> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/11741060> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/11375197> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=182829> ;
    schema:url <https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=3068001> ;
    schema:workExample <http://worldcat.org/isbn/9783540336891> ;
    schema:workExample <http://worldcat.org/isbn/9783540336914> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262692326> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/198884920#Meeting/cassis_conference_2005_nice_france> # CASSIS (Conference) (2005 : Nice, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/198884920#Place/nice_france> ; # Nice, France)
    schema:name "CASSIS (Conference) (2005 : Nice, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/198884920#Place/nice_france> # Nice, France)
    a schema:Place ;
    schema:name "Nice, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/198884920#Topic/cartes_a_memoire_securite_mesures> # Cartes à mémoire--Sécurité--Mesures
    a schema:Intangible ;
    schema:name "Cartes à mémoire--Sécurité--Mesures"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/198884920#Topic/computers_computer_engineering> # COMPUTERS--Computer Engineering
    a schema:Intangible ;
    schema:name "COMPUTERS--Computer Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/198884920#Topic/computers_hardware_general> # COMPUTERS--Hardware--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Hardware--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/198884920#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
    schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/198884920#Topic/teleinformatique_securite_mesures> # Téléinformatique--Sécurité--Mesures
    a schema:Intangible ;
    schema:name "Téléinformatique--Sécurité--Mesures"@fr ;
    .

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

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

<http://link.springer.com/10.1007/11741060>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/8307380> # Gilles Barthe
    a schema:Person ;
    schema:birthDate "1967" ;
    schema:familyName "Barthe" ;
    schema:givenName "Gilles" ;
    schema:name "Gilles Barthe" ;
    .

<http://worldcat.org/isbn/9783540336891>
    a schema:ProductModel ;
    schema:isbn "3540336893" ;
    schema:isbn "9783540336891" ;
    .

<http://worldcat.org/isbn/9783540336914>
    a schema:ProductModel ;
    schema:isbn "3540336915" ;
    schema:isbn "9783540336914" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262692326> ; # Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : 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/oclc/68961985>
    a schema:CreativeWork ;
    rdfs:label "Construction and analysis of safe, secure, and interoperable smart devices." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262692326> ; # Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers
    .

<http://www.worldcat.org/title/-/oclc/262692326>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262692326> ; # Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers
    schema:dateModified "2018-06-17" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=3068001>
    rdfs:comment "Available to Stanford-affiliated users." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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