• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

    11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

    AvMitsu Okada,Ichiro Satoh

    Häftad, Engelska, 2008

    Del i serien Lecture Notes in Computer Science

    557 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    Running to more than 360 pages, and complete with online files and updates, this book constitutes the thoroughly refereed post-proceedings of the 11th Asian Computing Science Conference, ASIAN 2006, held in Tokyo, Japan. The 17 revised full papers and 8 revised short papers presented together with 1 invited paper were carefully selected during two rounds of reviewing from 115 submissions. The papers cover theory, practice, applications, and experiences related to secure software.

    Produktinformation

    • Utgivningsdatum:2008-01-24
    • Mått:155 x 235 x undefined mm
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:364
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540775041

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT

    Innehållsförteckning

    • ASIAN’2006.- Security Evaluation of a Type of Table-Network Implementation of Block Ciphers.- A Symbolic Intruder Model for Hash-Collision Attacks.- A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.- Certificateless Authenticated Two-Party Key Agreement Protocols.- FORM : A Federated Rights Expression Model for Open DRM Frameworks.- A Method of Safety Analysis for Runtime Code Update.- Automata-Based Confidentiality Monitoring.- Efficient and Practical Control Flow Monitoring for Program Security.- Modular Formalization of Reactive Modules in COQ.- Closing Internal Timing Channels by Transformation.- Responsiveness in Process Calculi.- Normal Proofs in Intruder Theories.- Breaking and Fixing Public-Key Kerberos.- Computational Soundness of Formal Indistinguishability and Static Equivalence.- Secrecy Analysis in Protocol Composition Logic.- A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations.- On Completeness of Logical Relations for Monadic Types.- A Spatial Logical Characterisation of Context Bisimulation.- Information Hiding in the Join Calculus.- Modeling Urgency in Component-Based Real-Time Systems.- Maintaining Data Consistency of XML Databases Using Verification Techniques.- An Operational Semantics of Program Dependence Graphs for Unstructured Programs.- Combination of Abstractions in the ASTRÉE Static Analyzer.- Proving Noninterference by a Fully Complete Translation to the Simply Typed ?-Calculus.- Formalization of CTL* in Calculus of Inductive Constructions.- Inferring Disjunctive Postconditions.- An Approach to Formal Verification of Arithmetic Functions in Assembly.
    Hoppa över listan

    Du kanske också är intresserad av

    Ichiro Satoh, Mitsu Okada - Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, E-bok

    Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

    Ichiro Satoh, Mitsu Okada

    E-bok
    2008

    732 kr

    Antoine Nongaillard, Paulo Novais, Ricardo S. Alonso, Pablo Chamoso, Ichiro Satoh, Manuel Rodrigues - Ambient Intelligence - Software and Applications - 16th International Symposium on Ambient Intelligence, E-bok

    Ambient Intelligence - Software and Applications - 16th International Symposium on Ambient Intelligence

    Antoine Nongaillard, Paulo Novais, Ricardo S. Alonso, Pablo Chamoso, Ichiro Satoh, Manuel Rodrigues

    E-bok
    2026

    2 430 kr

    Paulo Novais, Vicente Julián Inglada, Miguel J. Hornos, Ichiro Satoh, Davide Carneiro, João Carneiro, Ricardo S. Alonso - Ambient Intelligence – Software and Applications – 14th International Symposium on Ambient Intelligence, Häftad
    Del 770

    Ambient Intelligence – Software and Applications – 14th International Symposium on Ambient Intelligence

    Paulo Novais, Vicente Julián Inglada, Miguel J. Hornos, Ichiro Satoh, Davide Carneiro, João Carneiro, Ricardo S. Alonso

    Häftad, 2023

    2 206 kr

    Manuel Rodrigues, Ichiro Satoh, Pablo Chamoso, Ricardo S. Alonso, Paulo Novais, Antoine Nongaillard - Ambient Intelligence – Software and Applications – 16th International Symposium on Ambient Intelligence, Häftad

    Ambient Intelligence – Software and Applications – 16th International Symposium on Ambient Intelligence

    Manuel Rodrigues, Ichiro Satoh, Pablo Chamoso, Ricardo S. Alonso, Paulo Novais, Antoine Nongaillard

    Häftad, 2026

    1 876 kr

    Paulo Novais, Parameshachari B. D., Ichiro Satoh, Vicente Julian Inglada, Sara Rodríguez González, Esteban Jove Pérez, Javier Parra Domínguez, Pablo Chamoso, Ricardo S. Alonso - Ambient Intelligence – Software and Applications – 15th International Symposium on Ambient Intelligence, Häftad
    Del 1279

    Ambient Intelligence – Software and Applications – 15th International Symposium on Ambient Intelligence

    Paulo Novais, Parameshachari B. D., Ichiro Satoh, Vicente Julian Inglada, Sara Rodríguez González, Esteban Jove Pérez, Javier Parra Domínguez, Pablo Chamoso, Ricardo S. Alonso

    Häftad, 2025

    2 422 kr

    Ricardo S. Alonso, Joao Carneiro, Davide Carneiro, Ichiro Satoh, Miguel J. Hornos, Vicente Julian Inglada, Paulo Novais - Ambient Intelligence - Software and Applications - 14th International Symposium on Ambient Intelligence, E-bok

    Ambient Intelligence - Software and Applications - 14th International Symposium on Ambient Intelligence

    Ricardo S. Alonso, Joao Carneiro, Davide Carneiro, Ichiro Satoh, Miguel J. Hornos, Vicente Julian Inglada, Paulo Novais

    E-bok
    2023

    2 917 kr

    Hee Yong Youn, Ichiro Satoh, We-Duke Cho, Haruhisa Ichikawa - Ubiquitous Computing Systems, E-bok

    Ubiquitous Computing Systems

    Hee Yong Youn, Ichiro Satoh, We-Duke Cho, Haruhisa Ichikawa

    E-bok
    2007

    732 kr

    Ricardo S. Alonso, Pablo Chamoso, Javier Parra Dominguez, Esteban Jove Perez, Sara Rodriguez Gonzalez, Vicente Julian Inglada, Ichiro Satoh, Parameshachari B. D., Paulo Novais - Ambient Intelligence - Software and Applications - 15th International Symposium on Ambient Intelligence, E-bok

    Ambient Intelligence - Software and Applications - 15th International Symposium on Ambient Intelligence

    Ricardo S. Alonso, Pablo Chamoso, Javier Parra Dominguez, Esteban Jove Perez, Sara Rodriguez Gonzalez, Vicente Julian Inglada, Ichiro Satoh, Parameshachari B. D., Paulo Novais

    E-bok
    2025

    3 242 kr

    Haruhisa Ichikawa, We-Duke Cho, Ichiro Satoh, Hee Yong Youn - Ubiquitous Computing Systems, Häftad

    Ubiquitous Computing Systems

    Haruhisa Ichikawa, We-Duke Cho, Ichiro Satoh, Hee Yong Youn

    Häftad, 2007

    557 kr

    Klara Ingemyr - SIGNERAD - Klaras husman, Kartonnage
    • Signerad!

    SIGNERAD - Klaras husman

    Klara Ingemyr

    Kartonnage, 2026

    269 kr