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.
Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / / edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
| Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / / edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
| Descrizione fisica | 1 online resource (390 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Compilers (Computer programs)
Software engineering Computer science Computer programming Machine theory Compilers and Interpreters Software Engineering Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
| ISBN |
1-280-95677-1
9786610956777 3-540-48257-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- High Level System Design and Analysis Using Abstract State Machines -- Enriching the Software Development Process by Formal Methods -- Regular Papers -- Formal Program Development in Geometric Modeling -- Design of Distributed Multimedia Applications (DAMD) -- Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip -- Automated Test Set Generation for Statecharts -- Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct -- Translation Validation: From DC+ to C -- A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems -- A Lightweight Approach to Formal Methods -- An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools -- Integrating Domain Specific Language Design in the Software Life Cycle -- Flexible and Reliable Process Model Properties: An Integrated Approach -- A Symbolic Model Checker for ACTL -- Critical Systems Validation and Verification with CSP and FDR -- UniForM Perspectives for Formal Methods -- The UniForM WorkBench A Higher Order Tool Integration Framework -- Application Papers -- Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol -- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier -- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process -- Tool Papers -- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture -- The IFAD VDM Tools -- KIV 3.0 for Provably Correct Systems -- PVS: An Experience Report -- Overview over the Project Quest -- VSE: Controlling the Complexity in Formal Software Developments -- The wHOLe System -- Z/EVES Version 1.5: An Overview. |
| Record Nr. | UNINA-9910144147503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / / Dieter Hutter (eds.)
| Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / / Dieter Hutter (eds.) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (390 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Formal methods (Computer science) |
| ISBN |
1-280-95677-1
9786610956777 3-540-48257-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- High Level System Design and Analysis Using Abstract State Machines -- Enriching the Software Development Process by Formal Methods -- Regular Papers -- Formal Program Development in Geometric Modeling -- Design of Distributed Multimedia Applications (DAMD) -- Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip -- Automated Test Set Generation for Statecharts -- Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct -- Translation Validation: From DC+ to C -- A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems -- A Lightweight Approach to Formal Methods -- An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools -- Integrating Domain Specific Language Design in the Software Life Cycle -- Flexible and Reliable Process Model Properties: An Integrated Approach -- A Symbolic Model Checker for ACTL -- Critical Systems Validation and Verification with CSP and FDR -- UniForM Perspectives for Formal Methods -- The UniForM WorkBench A Higher Order Tool Integration Framework -- Application Papers -- Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol -- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier -- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process -- Tool Papers -- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture -- The IFAD VDM Tools -- KIV 3.0 for Provably Correct Systems -- PVS: An Experience Report -- Overview over the Project Quest -- VSE: Controlling the Complexity in Formal Software Developments -- The wHOLe System -- Z/EVES Version 1.5: An Overview. |
| Record Nr. | UNISA-996465943703316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mechanizing Mathematical Reasoning [[electronic resource] ] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / / edited by Dieter Hutter, Werner Stephan
| Mechanizing Mathematical Reasoning [[electronic resource] ] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / / edited by Dieter Hutter, Werner Stephan |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 570 p.) |
| Disciplina | 511.3/6/028563 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Mathematical Logic and Foundations |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI and Politics -- Logic and Deduction -- Some Reflections on Proof Transformations -- Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation -- SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective -- Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology -- Footprints of Conditionals -- Time for Thinking Big in AI -- Solving First-Order Constraints over the Monadic Class -- From MKRP to ?MEGA -- Decidable Variants of Higher-Order Unification -- Normal Natural Deduction Proofs (in Non-classical Logics) -- History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! -- The Flowering of Automated Reasoning -- Applications of Logics -- Description Logics as Ontology Languages for the Semantic Web -- Living Books, Automated Deduction and Other Strange Things -- An Essay on Sabotage and Obstruction -- Bridging Theorem Proving and Mathematical Knowledge Retrieval -- Formal Description of Natural Languages: An HPSG Grammar of Polish -- Psychological Validity of Schematic Proofs -- Natural Language Proof Explanation -- Why Proof Planning for Maths Education and How? -- Formal Methods and Security -- Towards MultiMedia Instruction in Safe and Secure Systems -- The Impact of Models in Software Development -- Formal Software Development in MAYA -- A Unification Algorithm for Analysis of Protocols with Blinded Signatures -- Exploiting Generic Aspects of Security Models in Formal Developments -- Verification Support Environment -- Agents and Planning -- SAT-Based Cooperative Planning: A Proposal -- Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots -- Agents with Exact Foreknowledge -- Self-organisation in Holonic Multiagent Systems. |
| Record Nr. | UNISA-996465681203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mechanizing mathematical reasoning : essays in honor of Jorg H. Siekmann on the occasion of his 60th birthday / / Dieter Hutter, Werner Stephan (eds.)
| Mechanizing mathematical reasoning : essays in honor of Jorg H. Siekmann on the occasion of his 60th birthday / / Dieter Hutter, Werner Stephan (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
| Descrizione fisica | 1 online resource (X, 570 p.) |
| Disciplina | 511.3/6/028563 |
| Altri autori (Persone) |
SiekmannJörg H
HutterDieter StephanWerner |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Automatic theorem proving
Logic, Symbolic and mathematical Reasoning - Automation Reasoning - Technique |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI and Politics -- Logic and Deduction -- Some Reflections on Proof Transformations -- Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation -- SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective -- Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology -- Footprints of Conditionals -- Time for Thinking Big in AI -- Solving First-Order Constraints over the Monadic Class -- From MKRP to ?MEGA -- Decidable Variants of Higher-Order Unification -- Normal Natural Deduction Proofs (in Non-classical Logics) -- History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! -- The Flowering of Automated Reasoning -- Applications of Logics -- Description Logics as Ontology Languages for the Semantic Web -- Living Books, Automated Deduction and Other Strange Things -- An Essay on Sabotage and Obstruction -- Bridging Theorem Proving and Mathematical Knowledge Retrieval -- Formal Description of Natural Languages: An HPSG Grammar of Polish -- Psychological Validity of Schematic Proofs -- Natural Language Proof Explanation -- Why Proof Planning for Maths Education and How? -- Formal Methods and Security -- Towards MultiMedia Instruction in Safe and Secure Systems -- The Impact of Models in Software Development -- Formal Software Development in MAYA -- A Unification Algorithm for Analysis of Protocols with Blinded Signatures -- Exploiting Generic Aspects of Security Models in Formal Developments -- Verification Support Environment -- Agents and Planning -- SAT-Based Cooperative Planning: A Proposal -- Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots -- Agents with Exact Foreknowledge -- Self-organisation in Holonic Multiagent Systems. |
| Record Nr. | UNINA-9910484271403321 |
| Berlin ; ; New York, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Security in Pervasive Computing [[electronic resource] ] : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings / / edited by Dieter Hutter, Markus Ullmann
| Security in Pervasive Computing [[electronic resource] ] : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings / / edited by Dieter Hutter, Markus Ullmann |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XI, 239 p.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer communication systems
Software engineering Operating systems (Computers) Computers and civilization Management information systems Computer science User interfaces (Computer systems) Computer Communication Networks Software Engineering Operating Systems Computers and Society Management of Computing and Information Systems User Interfaces and Human Computer Interaction |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk (Abstract) -- Pervasive Computing – A Case for the Precautionary Principle? -- Session 1: Smart Devices and Applications -- TENeT: A Framework for Distributed Smartcards -- P2P Digital Value Fair Trading System Using Smart Cards -- “Devices Are People Too” Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example -- Invited Talk (Abstract) -- Securing Ad Hoc Networks -- Session 2: Short Paper Session -- Secure Identity Management for Pseudo-Anonymous Service Access -- Security Issues for Pervasive Personalized Communication Systems -- Safeguards in a World of Ambient Intelligence -- Session 3: Authentication (I) -- Challenge-Response Based RFID Authentication Protocol for Distributed Database Environment -- Invited Talk (Abstract) -- Security Concept of the EU-Passport -- Session 4: Authentication (II) -- Efficient Cooperative Signatures: A Novel Authentication Scheme for Sensor Networks -- Ephemeral Pairing on Anonymous Networks -- Invited Talk (Abstract) -- EPC Technology -- Session 5: Authentication (III) -- Exploiting Empirical Engagement in Authentication Protocol Design -- Supporting Dynamically Changing Authorizations in Pervasive Communication Systems -- Look Who’s Talking – Authenticating Service Access Points -- Invited Talk (Abstract) -- Security Issues of Mobile Devices -- Session 6: Privacy and Anonymity -- Privacy for Profitable Location Based Services -- On the Anonymity of Periodic Location Samples -- Session 7: Access Control and Information Flow -- A Theorem Proving Approach to Analysis of Secure Information Flow -- An Efficient Access Control Model for Mobile Ad-Hoc Communities -- TrustAC: Trust-Based Access Control for Pervasive Devices. |
| Record Nr. | UNISA-996465812703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Security in Pervasive Computing : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings / / edited by Dieter Hutter, Markus Ullmann
| Security in Pervasive Computing : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings / / edited by Dieter Hutter, Markus Ullmann |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XI, 239 p.) |
| Disciplina | 005.8 |
| Altri autori (Persone) |
HutterDieter
UllmannMarkus |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer networks
Software engineering Operating systems (Computers) Computers and civilization Electronic data processing - Management User interfaces (Computer systems) Human-computer interaction Computer Communication Networks Software Engineering Operating Systems Computers and Society IT Operations User Interfaces and Human Computer Interaction |
| ISBN | 9783540320043 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk (Abstract) -- Pervasive Computing – A Case for the Precautionary Principle? -- Session 1: Smart Devices and Applications -- TENeT: A Framework for Distributed Smartcards -- P2P Digital Value Fair Trading System Using Smart Cards -- “Devices Are People Too” Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example -- Invited Talk (Abstract) -- Securing Ad Hoc Networks -- Session 2: Short Paper Session -- Secure Identity Management for Pseudo-Anonymous Service Access -- Security Issues for Pervasive Personalized Communication Systems -- Safeguards in a World of Ambient Intelligence -- Session 3: Authentication (I) -- Challenge-Response Based RFID Authentication Protocol for Distributed Database Environment -- Invited Talk (Abstract) -- Security Concept of the EU-Passport -- Session 4: Authentication (II) -- Efficient Cooperative Signatures: A Novel Authentication Scheme for Sensor Networks -- Ephemeral Pairing on Anonymous Networks -- Invited Talk (Abstract) -- EPC Technology -- Session 5: Authentication (III) -- Exploiting Empirical Engagement in Authentication Protocol Design -- Supporting Dynamically Changing Authorizations in Pervasive Communication Systems -- Look Who’s Talking – Authenticating Service Access Points -- Invited Talk (Abstract) -- Security Issues of Mobile Devices -- Session 6: Privacy and Anonymity -- Privacy for Profitable Location Based Services -- On the Anonymity of Periodic Location Samples -- Session 7: Access Control and Information Flow -- A Theorem Proving Approach to Analysis of Secure Information Flow -- An Efficient Access Control Model for Mobile Ad-Hoc Communities -- TrustAC: Trust-Based Access Control for Pervasive Devices. |
| Record Nr. | UNINA-9910483999203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Security in Pervasive Computing [[electronic resource] ] : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers / / edited by Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann
| Security in Pervasive Computing [[electronic resource] ] : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers / / edited by Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 296 p.) |
| Disciplina | 005.8 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data encryption (Computer science)
Computer communication systems Software engineering Operating systems (Computers) Application software Computers and civilization Cryptology Computer Communication Networks Software Engineering Operating Systems Information Systems Applications (incl. Internet) Computers and Society |
| ISBN | 3-540-39881-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks (Abstracts) -- The Age of Pervasive Computing – Everything Smart, Everything Connected? -- Cyber Assist Project and Its Security Requirement -- Security in Pervasive Computing -- The Importance of High Assurance Security in Pervasive Computing -- Location Privacy -- A Methodological Assessment of Location Privacy Risks in Wireless Hotspot Networks -- Protecting Access to People Location Information -- Security Requirements -- Smart Devices and Software Agents: The Basics of Good Behaviour -- Dependability Issues of Pervasive Computing in a Healthcare Environment -- Security Policies and Protection -- Protecting Security Policies in Ubiquitous Environments Using One-Way Functions -- Enforcing Security Policies via Types -- Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems -- Authentication and Trust -- Authentication for Pervasive Computing -- End-to-End Trust Starts with Recognition -- Embedding Distance-Bounding Protocols within Intuitive Interactions -- Secure Infrastructures -- Trust Context Spaces: An Infrastructure for Pervasive Security in Context-Aware Environments -- Time Constraint Delegation for P2P Data Decryption -- SAOTS: A New Efficient Server Assisted Signature Scheme for Pervasive Computing -- Smart Labels -- Security and Privacy Aspects of Low-Cost Radio Frequency Identification Systems -- Verification -- Implementing a Formally Verifiable Security Protocol in Java Card -- Hardware Architectures -- Cellular Automata Based Multiplier for Public-Key Cryptosystem -- Enlisting Hardware Architecture to Thwart Malicious Code Injection -- Optimized RISC Architecture for Multiple-Precision Modular Arithmetic -- Visual Crypto Displays Enabling Secure Communications -- Workshop -- Security and Privacy in Pervasive Computing State of the Art and Future Directions. |
| Record Nr. | UNISA-996466169203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers / / edited by Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann
| Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers / / edited by Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 296 p.) |
| Disciplina | 005.8 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data encryption (Computer science)
Computer networks Software engineering Operating systems (Computers) Application software Computers and civilization Cryptology Computer Communication Networks Software Engineering Operating Systems Information Systems Applications (incl. Internet) Computers and Society |
| ISBN | 3-540-39881-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks (Abstracts) -- The Age of Pervasive Computing – Everything Smart, Everything Connected? -- Cyber Assist Project and Its Security Requirement -- Security in Pervasive Computing -- The Importance of High Assurance Security in Pervasive Computing -- Location Privacy -- A Methodological Assessment of Location Privacy Risks in Wireless Hotspot Networks -- Protecting Access to People Location Information -- Security Requirements -- Smart Devices and Software Agents: The Basics of Good Behaviour -- Dependability Issues of Pervasive Computing in a Healthcare Environment -- Security Policies and Protection -- Protecting Security Policies in Ubiquitous Environments Using One-Way Functions -- Enforcing Security Policies via Types -- Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems -- Authentication and Trust -- Authentication for Pervasive Computing -- End-to-End Trust Starts with Recognition -- Embedding Distance-Bounding Protocols within Intuitive Interactions -- Secure Infrastructures -- Trust Context Spaces: An Infrastructure for Pervasive Security in Context-Aware Environments -- Time Constraint Delegation for P2P Data Decryption -- SAOTS: A New Efficient Server Assisted Signature Scheme for Pervasive Computing -- Smart Labels -- Security and Privacy Aspects of Low-Cost Radio Frequency Identification Systems -- Verification -- Implementing a Formally Verifiable Security Protocol in Java Card -- Hardware Architectures -- Cellular Automata Based Multiplier for Public-Key Cryptosystem -- Enlisting Hardware Architecture to Thwart Malicious Code Injection -- Optimized RISC Architecture for Multiple-Precision Modular Arithmetic -- Visual Crypto Displays Enabling Secure Communications -- Workshop -- Security and Privacy in Pervasive Computing State of the Art and Future Directions. |
| Record Nr. | UNINA-9910144209003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||