skip to content
Software security : theories and systems : Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers Preview this item
ClosePreview this item
Checking...

Software security : theories and systems : Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers

Author: 岡田, 光弘, ; ; M Okada; Japan. Monbushō.; National Science Foundation (U.S.); Nihon Gakujutsu Shinkōkai.
Publisher: Berlin ; New York : Springer, ©2003.
Series: Lecture notes in computer science, 2609.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
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: Conference papers and proceedings
Electronic books
Congresses
Congrès
Congresos
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: 岡田, 光弘, ; ; M Okada; Japan. Monbushō.; National Science Foundation (U.S.); Nihon Gakujutsu Shinkōkai.
ISBN: 3540007083 9783540007081
OCLC Number: 51647367
Description: xi, 470 pages : illustrations ; 24 cm.
Contents: Towards Security and Privacy for Pervasive Computing / Roy Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane and M. Dennis Mickunas --
Security for Whom? (The Shifting Security Assumptions of Pervasive Computing) / Frank Stajano --
Active Authentication for Pervasive Computing Environments / Kenta Matsumiya, Soko Aoki, Masana Murase and Hideyuki Tokuda --
Survey of Peer-to-Peer Security Issues / Dan S. Wallach --
Autonomous Nodes and Distributed Mechanisms / John C. Mitchell and Vanessa Teague --
Privacy in Sensor Webs and Distributed Information Systems / J.D. Tygar --
Negotiated Privacy / Stanislaw Jarecki, Patrick Lincoln and Vitaly Shmatikov --
SoftwarePot: An Excapsulated Transferable File System for Secure Software Circulation / Kazuhiko Kato and Yoshihiro Oyama --
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure (Progress Report) / Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii and Akinori Yonezawa --
Types and Effects for Non-interfering Program Monitors / Lujo Bauer, Jarred Ligatti and David Walker --
Flexible and Efficient Sandboxing Based on Fine-Grained Protection Domains / Takahiro Shinagawa, Kenji Kono and Takashi Masuda --
Enforcing Java Run-Time Properties Using Bytecode Rewriting / Algis Rudys and Dan S. Wallach --
AnZenMail: A Secure and Certified E-mail System / Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura and Takuo Watanabe --
Formalization and Verification of a Mail Server in Coq / Reynald Affeldt and Naoki Kobayashi --
Design and Implementation of Security System Based on Immune System / Hiroyuki Nishiyama and Fumio Mizoguchi --
Design and Implementation of Access Control System for Smart Office Environment / Wataru Yamazaki and Fumio Mizoguchi --
Typing One-to-One and One-to-Many Correspondences in Security Protocols / Andrew D. Gordon and Alan Jeffrey. Proof-Carrying Code with Untrusted Proof Rules / George C. Necula and Robert R. Schneck --
Verification of Authentication Protocols Based on the Binding Relation / Masami Hagiya, Ryo Takemura, Koichi Takahashi and Takamichi Saito --
Hiding Names: Private Authentication in the Applied Pi Calculus / Cedric Fournet and Martin Abadi --
Environmental Requirements for Authentication Protocols / Ran Canetti, Catherine Meadows and Paul Syverson --
Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis / I. Cervesato, N. Durgin, P. Lincoln, J. Mitchell and A. Scedrov --
Data Access Specification and the Most Powerful Symbolic Attacker in MSR / Iliano Cervesato --
Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic / Koji Hasebe and Mitsuhiro Okada --
Formal Analysis of the iKP Electronic Payment Protocols / Kazuhiro Ogata and Kokichi Futatsugi --
CafeOBJ as a Tool for Behavioral System Verification / Akira Mori and Kokichi Futatsugi.
Series Title: Lecture notes in computer science, 2609.
Responsibility: Mitsuhiro Okada [and others].
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/51647367> # Software security : theories and systems : Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "51647367" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/774304989#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/774304989#Topic/seguridad_informatica> ; # Seguridad informática
    schema:about <http://experiment.worldcat.org/entity/work/data/774304989#Topic/securite_informatique> ; # Sécurité informatique
    schema:about <http://id.worldcat.org/fast/872484> ; # Computer security
    schema:about <http://dewey.info/class/005.8/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/774304989#Topic/computer_security> ; # Computer security
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/35391267> ; # 光弘 岡田
    schema:contributor <http://viaf.org/viaf/155754673> ; # 日本学術振興会.
    schema:contributor <http://viaf.org/viaf/151790723> ; # Japan. Monbushō.
    schema:contributor <http://viaf.org/viaf/157365449> ; # National Science Foundation (U.S.)
    schema:copyrightYear "2003" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/774304989#Meeting/isss_2002_2002_tokyo_japan> ; # ISSS 2002 (2002 : Tokyo, Japan)
    schema:datePublished "2003" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/774304989> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/774304989#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Software security : theories and systems : Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers"@en ;
    schema:productID "51647367" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/51647367#PublicationEvent/berlin_new_york_springer_2003> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/774304989#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2609> ;
    schema:url <http://link.springer.com/10.1007/3-540-36532-X> ;
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t2609.htm> ;
    schema:url <http://dx.doi.org/10.1007/3-540-36532-X> ;
    schema:url <http://www.springerlink.com/content/q6xmnlw5ukxj> ;
    schema:workExample <http://worldcat.org/isbn/9783540007081> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA321713> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/51647367> ;
    .


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/774304989#Place/tokyo_japan> # Tokyo, Japan)
    a schema:Place ;
    schema:name "Tokyo, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774304989#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/51647367> ; # Software security : theories and systems : Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/774304989#Topic/securite_informatique> # Sécurité informatique
    a schema:Intangible ;
    schema:name "Sécurité informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/774304989#Topic/seguridad_informatica> # Seguridad informática
    a schema:Intangible ;
    schema:name "Seguridad informática"@en ;
    .

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

<http://link.springer.com/10.1007/3-540-36532-X>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t2609.htm>
    rdfs:comment "Available to Stanford-affiliated users at" ;
    .

<http://viaf.org/viaf/151790723> # Japan. Monbushō.
    a schema:Organization ;
    schema:name "Japan. Monbushō." ;
    .

<http://viaf.org/viaf/155754673> # 日本学術振興会.
    a schema:Organization ;
    rdfs:label "Nihon Gakujutsu Shinkōkai." ;
    schema:name "日本学術振興会."@en ;
    .

<http://viaf.org/viaf/157365449> # National Science Foundation (U.S.)
    a schema:Organization ;
    schema:name "National Science Foundation (U.S.)" ;
    .

<http://viaf.org/viaf/35391267> # 光弘 岡田
    a schema:Person ;
    schema:birthDate "1954" ;
    schema:familyName "Okada" ;
    schema:givenName "Mitsuhiro" ;
    schema:givenName "M." ;
    schema:name "光弘 岡田"@en ;
    schema:name "Mitsuhiro Okada"@en ;
    .

<http://worldcat.org/isbn/9783540007081>
    a schema:ProductModel ;
    schema:isbn "3540007083" ;
    schema:isbn "9783540007081" ;
    .

<http://www.worldcat.org/title/-/oclc/51647367>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/51647367> ; # Software security : theories and systems : Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers
    schema:dateModified "2018-01-09" ;
    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.