Applied Semantics [[electronic resource] ] : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / / edited by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (VIII, 536 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Semantics
Programming languages (Electronic computers) Computer logic Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-45699-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Introduction to Dependent Type Theory -- Monads and Effects -- Abstract Machines, Control, and Sequents -- Normalization and Partial Evaluation -- Computing with Real Numbers -- The Join Calculus: A Language for Distributed Mobile Programming -- An Introduction to Functional Nets -- Operational Semantics and Program Equivalence -- Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa. |
Record Nr. | UNISA-996465524703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applied Semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / / edited by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (VIII, 536 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Semantics
Programming languages (Electronic computers) Computer logic Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-45699-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Introduction to Dependent Type Theory -- Monads and Effects -- Abstract Machines, Control, and Sequents -- Normalization and Partial Evaluation -- Computing with Real Numbers -- The Join Calculus: A Language for Distributed Mobile Programming -- An Introduction to Functional Nets -- Operational Semantics and Program Equivalence -- Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa. |
Record Nr. | UNINA-9910143883203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [[electronic resource] ] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / / edited by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (X, 173 p.) |
Disciplina | 005.1 |
Collana | Security and Cryptology |
Soggetto topico |
Software engineering
Special purpose computers Computer programming Programming languages (Electronic computers) Operating systems (Computers) Computer logic Software Engineering Special Purpose and Application-Based Systems Programming Techniques Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs |
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. |
Record Nr. | UNISA-996466163403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / / edited by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (X, 173 p.) |
Disciplina | 005.1 |
Collana | Security and Cryptology |
Soggetto topico |
Software engineering
Special purpose computers Computer programming Programming languages (Electronic computers) Operating systems (Computers) Computer logic Software Engineering Special Purpose and Application-Based Systems Programming Techniques Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs |
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. |
Record Nr. | UNINA-9910483508103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [[electronic resource] ] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (IX, 258 p.) |
Disciplina | 332.1/78 |
Collana | Security and Cryptology |
Soggetto topico |
Data encryption (Computer science)
Software engineering Special purpose computers Computer programming Programming languages (Electronic computers) Operating systems (Computers) Cryptology Software Engineering Special Purpose and Application-Based Systems Programming Techniques Programming Languages, Compilers, Interpreters Operating Systems |
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. |
Record Nr. | UNISA-996466053503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (IX, 258 p.) |
Disciplina | 332.1/78 |
Collana | Security and Cryptology |
Soggetto topico |
Data encryption (Computer science)
Software engineering Special purpose computers Computer programming Programming languages (Electronic computers) Operating systems (Computers) Cryptology Software Engineering Special Purpose and Application-Based Systems Programming Techniques Programming Languages, Compilers, Interpreters Operating Systems |
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. |
Record Nr. | UNINA-9910484649303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : 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 / / edited by Gilles Barthe, Ben Livshits, Riccardo Scandariato |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 151 p. 37 illus.) |
Disciplina | 004.6 |
Collana | Security and Cryptology |
Soggetto topico |
Computer communication systems
Data encryption (Computer science) Software engineering Data structures (Computer science) Computer science—Mathematics Computers Computer Communication Networks Cryptology Software Engineering/Programming and Operating Systems Data Structures and Information Theory Math Applications in Computer Science Models and Principles |
ISBN | 3-642-28166-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ESSoS'12 |
Record Nr. | UNISA-996466172303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings / / edited by Gilles Barthe, Ben Livshits, Riccardo Scandariato |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 151 p. 37 illus.) |
Disciplina | 004.6 |
Collana | Security and Cryptology |
Soggetto topico |
Computer communication systems
Data encryption (Computer science) Software engineering Data structures (Computer science) Computer science—Mathematics Computers Computer Communication Networks Cryptology Software Engineering/Programming and Operating Systems Data Structures and Information Theory Math Applications in Computer Science Models and Principles |
ISBN | 3-642-28166-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ESSoS'12 |
Record Nr. | UNINA-9910510602803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Aspects of Security and Trust [[electronic resource] ] : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers / / edited by Gilles Barthe, Anupam Datta, Sandro Etalle |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 279 p. 51 illus.) |
Disciplina | 004.6 |
Collana | Security and Cryptology |
Soggetto topico |
Computer communication systems
Data encryption (Computer science) Computer security Computers and civilization Management information systems Computer science Information storage and retrieval Computer Communication Networks Cryptology Systems and Data Security Computers and Society Management of Computing and Information Systems Information Storage and Retrieval |
ISBN | 3-642-29420-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Security and trust policy models -- security protocol design and analysis -- formal models of trust and reputation -- logics for security and trust -- distributed trust management systems -- trust-based reasoning -- digital assets protection -- data protection -- privacy and ID issues -- information flow analysis -- language-based security -- security and trust aspects of ubiquitous computing -- validation/analysis tools -- web service security/trust/privacy -- grid security -- security risk assessment -- case studies. |
Record Nr. | UNISA-996465559303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods for Open Object-Based Distributed Systems [[electronic resource] ] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / / edited by Gilles Barthe |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 259 p.) |
Disciplina | 004.6 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer communication systems
Software engineering Programming languages (Electronic computers) Computer programming Operating systems (Computers) Computer Communication Networks Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Operating Systems |
ISBN | 3-540-68863-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Methods for Open Object-Based Distributed Systems -- Guiding Distributed Systems Synthesis with Language-Based Security Policies -- Termination Analysis of Java Bytecode -- Sessions and Pipelines for Structured Service Programming -- Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers -- Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus -- Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack -- Symbolic Step Encodings for Object Based Communicating State Machines -- Modeling and Model Checking Software Product Lines -- Semantic Foundations and Inference of Non-null Annotations -- Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking -- A Minimal Set of Refactoring Rules for Object-Z -- Formal Modeling of a Generic Middleware to Ensure Invariant Properties -- CoBoxes: Unifying Active Objects and Structured Heaps -- VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language -- A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language. |
Record Nr. | UNISA-996465593503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|