Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 ; revised selected papers / / Pierpaolo Degano, Luca Vigano (eds.)
| Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 ; revised selected papers / / Pierpaolo Degano, Luca Vigano (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (X, 223 p.) |
| Disciplina | 005.8 |
| Altri autori (Persone) |
DeganoPierpaolo <1950->
ViganoLuca |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer security
Data protection Intel·ligència artificial Seguretat informàtica |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-642-03459-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Policy Model for Secure Information Flow -- A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference -- Validating Security Protocols under the General Attacker -- Usage Automata -- Static Detection of Logic Flaws in Service-Oriented Applications -- Improving the Semantics of Imperfect Security -- Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data -- Transformations between Cryptographic Protocols -- Formal Validation of OFEPSP+ with AVISPA -- On the Automated Correction of Protocols with Improper Message Encoding -- Finite Models in FOL-Based Crypto-Protocol Verification -- Towards a Type System for Security APIs -- Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption -- How Many Election Officials Does It Take to Change an Election?. |
| Altri titoli varianti | ARSPA-WITS 2009 |
| Record Nr. | UNINA-9910484158503321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tests and Proofs [[electronic resource] ] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / / edited by Margus Veanes, Luca Vigano
| Tests and Proofs [[electronic resource] ] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / / edited by Margus Veanes, Luca Vigano |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 233 p. 50 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer logic Mathematical logic Programming languages (Electronic computers) Computer simulation Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Simulation and Modeling |
| ISBN | 3-642-38916-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Incremental Refinement Checking for Test Case Generation -- Time for Mutants — Model-Based Mutation Testing with Timed Automata -- Model-Based Testing for Verification Back-Ends -- A Metric for Testing Program Verification Systems -- Test Program Generation for a Microprocessor: A Case-Study -- A Declarative Debugger for Sequential Erlang Programs -- Initiating a Benchmark for UML and OCL Analysis Tools -- Speeding Up Algorithmic Debugging Using Balanced Execution Trees -- Generating Test Suites with Augmented Dynamic Symbolic Execution -- Divergent Quiescent Transition Systems. |
| Record Nr. | UNISA-996465405403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / / edited by Margus Veanes, Luca Vigano
| Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / / edited by Margus Veanes, Luca Vigano |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 233 p. 50 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer logic Mathematical logic Programming languages (Electronic computers) Computer simulation Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Simulation and Modeling |
| ISBN | 3-642-38916-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Incremental Refinement Checking for Test Case Generation -- Time for Mutants — Model-Based Mutation Testing with Timed Automata -- Model-Based Testing for Verification Back-Ends -- A Metric for Testing Program Verification Systems -- Test Program Generation for a Microprocessor: A Case-Study -- A Declarative Debugger for Sequential Erlang Programs -- Initiating a Benchmark for UML and OCL Analysis Tools -- Speeding Up Algorithmic Debugging Using Balanced Execution Trees -- Generating Test Suites with Augmented Dynamic Symbolic Execution -- Divergent Quiescent Transition Systems. |
| Record Nr. | UNINA-9910484203403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||