Construction and analysis of safe, secure, and interoperable smart devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers / / Gilles Barthe ... [et al.], (eds.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, : Springer, c2006 |
Descrizione fisica | 1 online resource (X, 173 p.) |
Disciplina | 005.1 |
Altri autori (Persone) | BartheGilles <1967-> |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer storage devices
Computer security |
ISBN | 3-540-33691-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Altri titoli varianti | CASSIS 2005 |
Record Nr. | UNINA-9910483508103321 |
Berlin, : Springer, c2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers / / Gilles Barthe ... [et al.] (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, : Springer, 2005 |
Descrizione fisica | 1 online resource (IX, 258 p.) |
Disciplina | 332.1/78 |
Altri autori (Persone) | BartheGilles <1967-> |
Collana |
Lecture notes in computer science
Hot topics |
Soggetto topico |
Smart cards - Security measures
Data transmission systems - Security measures |
ISBN | 3-540-30569-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mobile Resource Guarantees for Smart Devices -- History-Based Access Control and Secure Information Flow -- The Spec# Programming System: An Overview -- Mastering Test Generation from Smart Card Software Formal Models -- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices -- ESC/Java2: Uniting ESC/Java and JML -- A Type System for Checking Applet Isolation in Java Card -- Verification of Safety Properties in the Presence of Transactions -- Modelling Mobility Aspects of Security Policies -- Smart Devices for Next Generation Mobile Services -- A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking -- Combining Several Paradigms for Circuit Validation and Verification -- Smart Card Research Perspectives. |
Altri titoli varianti | CASSIS 2004 |
Record Nr. | UNINA-9910484649303321 |
Berlin, : Springer, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering secure software and systems : 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / / Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.) |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2012 |
Descrizione fisica | 1 online resource (XII, 151 p. 37 illus.) |
Disciplina | 005.8 |
Altri autori (Persone) |
BartheGilles <1967->
LivshitsBenjamin ScandariatoRiccardo |
Collana |
Lecture notes in computer science
LNCS sublibrary |
Soggetto topico |
Computer security
Software engineering Computer networks - Security measures Data encryption (Computer science) |
ISBN | 3-642-28166-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ESSoS 2012 |
Record Nr. | UNINA-9910510602803321 |
Berlin ; ; New York, : Springer, c2012 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of probabilistic programming / / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva [[electronic resource]] |
Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2021 |
Descrizione fisica | 1 online resource (xiv, 568 pages) : digital, PDF file(s) |
Disciplina | 001.642 |
Soggetto topico |
Computer programming
Probabilities - Data processing |
ISBN |
1-108-80574-4
1-108-77075-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910585962103321 |
Cambridge : , : Cambridge University Press, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Trustworthy Global Computing [[electronic resource] ] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / / edited by Gilles Barthe, Cédric Fournet |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XI, 401 p.) |
Disciplina | 005.8 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer networks Computer programming Data protection Compilers (Computer programs) Software Engineering Computer Communication Networks Programming Techniques Data and Information Security Compilers and Interpreters |
ISBN | 3-540-78663-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service Composition: From Analysis to Autonomy -- Service Combinators for Farming Virtual Machines -- Accepted Papers -- Combining a Verification Condition Generator for a Bytecode Language with Static Analyses -- Extracting Control from Data: User Interfaces of MIDP Applications -- Extending Operational Semantics of the Java Bytecode -- Relational Analysis for Delivery of Services -- Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems -- Type-Safe Distributed Programming with ML5 -- Transactional Service Level Agreement -- On the Complexity of Termination Inference for Processes -- A Practical Approach for Establishing Trust Relationships between Remote Platforms Using Trusted Computing -- Access Control Based on Code Identity for Open Distributed Systems -- Service Oriented Architectural Design -- Replicating Web Services for Scalability -- Location-Aware Quality of Service Measurements for Service-Level Agreements -- Multipoint Session Types for a Distributed Calculus -- On Progress for Structured Communications -- A Protocol Compiler for Secure Sessions in ML -- Application of Dependency Graphs to Security Protocol Analysis -- Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols -- Anonymity Protocol with Identity Escrow and Analysis in the Applied ?-Calculus -- Tutorial Papers -- Formal Approaches to Information-Hiding (Tutorial) -- Computational Soundness of Equational Theories (Tutorial) -- Adversaries and Information Leaks (Tutorial). |
Record Nr. | UNISA-996465654603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / / edited by Gilles Barthe, Cédric Fournet |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XI, 401 p.) |
Disciplina | 005.8 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer networks Computer programming Data protection Compilers (Computer programs) Software Engineering Computer Communication Networks Programming Techniques Data and Information Security Compilers and Interpreters |
ISBN | 3-540-78663-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service Composition: From Analysis to Autonomy -- Service Combinators for Farming Virtual Machines -- Accepted Papers -- Combining a Verification Condition Generator for a Bytecode Language with Static Analyses -- Extracting Control from Data: User Interfaces of MIDP Applications -- Extending Operational Semantics of the Java Bytecode -- Relational Analysis for Delivery of Services -- Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems -- Type-Safe Distributed Programming with ML5 -- Transactional Service Level Agreement -- On the Complexity of Termination Inference for Processes -- A Practical Approach for Establishing Trust Relationships between Remote Platforms Using Trusted Computing -- Access Control Based on Code Identity for Open Distributed Systems -- Service Oriented Architectural Design -- Replicating Web Services for Scalability -- Location-Aware Quality of Service Measurements for Service-Level Agreements -- Multipoint Session Types for a Distributed Calculus -- On Progress for Structured Communications -- A Protocol Compiler for Secure Sessions in ML -- Application of Dependency Graphs to Security Protocol Analysis -- Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols -- Anonymity Protocol with Identity Escrow and Analysis in the Applied ?-Calculus -- Tutorial Papers -- Formal Approaches to Information-Hiding (Tutorial) -- Computational Soundness of Equational Theories (Tutorial) -- Adversaries and Information Leaks (Tutorial). |
Record Nr. | UNINA-9910484294703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010 ; Madrid, Spain, January 17-19, 2010 ; proceedings / / Gilles Barthe, Manuel Hermenegildo (eds.) |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, : Springer, c2010 |
Descrizione fisica | 1 online resource (X, 397 p.) |
Disciplina | 005.1 |
Altri autori (Persone) |
BartheGilles <1967->
HermenegildoManuel |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
Soggetto topico |
Computer programs - Verification
Computer science |
ISBN |
1-280-38541-3
9786613563330 3-642-11319-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking of Hierarchical Systems -- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming -- Complexity Bounds for the Verification of Real-Time Software -- An Abstract Domain to Discover Interval Linear Equalities -- Interpolant Strength -- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing -- Invariant and Type Inference for Matrices -- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction -- Automatic Abstraction for Congruences -- Shape Analysis of Low-Level C with Overlapping Structures -- Abstract Threads -- Shape Analysis with Reference Set Relations -- Shape Analysis in the Absence of Pointers and Structure -- An Analysis of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors -- Considerate Reasoning and the Composite Design Pattern -- RGSep Action Inference -- Best Probabilistic Transformers -- Collections, Cardinalities, and Relations. |
Altri titoli varianti | VMCAI 2010 |
Record Nr. | UNINA-9910484667803321 |
Berlin, : Springer, c2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|