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.
Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices [[electronic resource] ] : 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010, Proceedings / / edited by Pierangela Samarati, Michael Tunstall, Joachim Posegga, Konstantinos Markantonakis, Damien Sauveron
| Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices [[electronic resource] ] : 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010, Proceedings / / edited by Pierangela Samarati, Michael Tunstall, Joachim Posegga, Konstantinos Markantonakis, Damien Sauveron |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 386 p. 93 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer communication systems
Management information systems Computer science Data encryption (Computer science) Algorithms Computer security Computers and civilization Computer Communication Networks Management of Computing and Information Systems Cryptology Algorithm Analysis and Problem Complexity Systems and Data Security Computers and Society |
| Soggetto genere / forma |
Kongress 2010
Kongress. Passau (2010) |
| ISBN |
1-280-38621-5
9786613564139 3-642-12368-6 |
| Classificazione |
DAT 179f
DAT 260f DAT 460f DAT 465f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Embedded Security -- Efficient and Effective Buffer Overflow Protection on ARM Processors -- Efficient Entropy Estimation for Mutual Information Analysis Using B-Splines -- A Probabilistic Diffusion Scheme for Anomaly Detection on Smartphones -- A Smart Card Implementation of the McEliece PKC -- Evaluation Metrics of Physical Non-invasive Security -- Protocols -- Trust in Peer-to-Peer Content Distribution Protocols -- Generic Constructions of Biometric Identity Based Encryption Systems -- Design and Analysis of a Generalized Canvas Protocol -- Highly Constrained Embedded Systems -- Efficient Mutual Authentication for Multi-domain RFID Systems Using Distributed Signatures -- Practical Schemes for Privacy and Security Enhanced RFID -- MoteAODV – An AODV Implementation for TinyOS 2.0 -- Security -- Random Number Generation Based on Fingerprints -- Improvements of pan-European IDM Architecture to Enable Identity Delegation Based on X.509 Proxy Certificates and SAML -- Fraud Detection for Voice over IP Services on Next-Generation Networks -- Smart Card Security -- Proxy Smart Card Systems -- Can We Support Applications’ Evolution in Multi-application Smart Cards by Security-by-Contract? -- Website Credential Storage and Two-Factor Web Authentication with a Java SIM -- Algorithms -- Attribute-Based Encryption with Break-Glass -- On the Security of a Two-Factor Authentication Scheme -- The Design of Secure and Efficient P2PSIP Communication Systems -- Hardware Implementations -- Novel FPGA-Based Signature Matching for Deep Packet Inspection -- Towards Electrical, Integrated Implementations of SIMPL Systems -- A Very Compact Hardware Implementation of the KASUMI Block Cipher -- Embedded Systems -- Secure and Usable Out-Of-Band Channels for Ad Hoc Mobile Device Interactions -- Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions -- Security Analysis of Mobile Phones Used as OTP Generators -- An Energy-Efficient Symmetric Cryptography Based Authentication Scheme for Wireless Sensor Networks -- Anonymity/Database Security -- The Market Failure of Anonymity Services -- Exploiting Node Mobility for Coordinating Data Usage in Crisis Scenarios -- Predicting and Preventing Insider Threat in Relational Database Systems. |
| Record Nr. | UNISA-996465606403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices [[electronic resource] ] : 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010, Proceedings / / edited by Pierangela Samarati, Michael Tunstall, Joachim Posegga, Konstantinos Markantonakis, Damien Sauveron
| Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices [[electronic resource] ] : 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010, Proceedings / / edited by Pierangela Samarati, Michael Tunstall, Joachim Posegga, Konstantinos Markantonakis, Damien Sauveron |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 386 p. 93 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer communication systems
Management information systems Computer science Data encryption (Computer science) Algorithms Computer security Computers and civilization Computer Communication Networks Management of Computing and Information Systems Cryptology Algorithm Analysis and Problem Complexity Systems and Data Security Computers and Society |
| Soggetto genere / forma |
Kongress 2010
Kongress. Passau (2010) |
| ISBN |
1-280-38621-5
9786613564139 3-642-12368-6 |
| Classificazione |
DAT 179f
DAT 260f DAT 460f DAT 465f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Embedded Security -- Efficient and Effective Buffer Overflow Protection on ARM Processors -- Efficient Entropy Estimation for Mutual Information Analysis Using B-Splines -- A Probabilistic Diffusion Scheme for Anomaly Detection on Smartphones -- A Smart Card Implementation of the McEliece PKC -- Evaluation Metrics of Physical Non-invasive Security -- Protocols -- Trust in Peer-to-Peer Content Distribution Protocols -- Generic Constructions of Biometric Identity Based Encryption Systems -- Design and Analysis of a Generalized Canvas Protocol -- Highly Constrained Embedded Systems -- Efficient Mutual Authentication for Multi-domain RFID Systems Using Distributed Signatures -- Practical Schemes for Privacy and Security Enhanced RFID -- MoteAODV – An AODV Implementation for TinyOS 2.0 -- Security -- Random Number Generation Based on Fingerprints -- Improvements of pan-European IDM Architecture to Enable Identity Delegation Based on X.509 Proxy Certificates and SAML -- Fraud Detection for Voice over IP Services on Next-Generation Networks -- Smart Card Security -- Proxy Smart Card Systems -- Can We Support Applications’ Evolution in Multi-application Smart Cards by Security-by-Contract? -- Website Credential Storage and Two-Factor Web Authentication with a Java SIM -- Algorithms -- Attribute-Based Encryption with Break-Glass -- On the Security of a Two-Factor Authentication Scheme -- The Design of Secure and Efficient P2PSIP Communication Systems -- Hardware Implementations -- Novel FPGA-Based Signature Matching for Deep Packet Inspection -- Towards Electrical, Integrated Implementations of SIMPL Systems -- A Very Compact Hardware Implementation of the KASUMI Block Cipher -- Embedded Systems -- Secure and Usable Out-Of-Band Channels for Ad Hoc Mobile Device Interactions -- Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions -- Security Analysis of Mobile Phones Used as OTP Generators -- An Energy-Efficient Symmetric Cryptography Based Authentication Scheme for Wireless Sensor Networks -- Anonymity/Database Security -- The Market Failure of Anonymity Services -- Exploiting Node Mobility for Coordinating Data Usage in Crisis Scenarios -- Predicting and Preventing Insider Threat in Relational Database Systems. |
| Record Nr. | UNINA-9910483105903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Smart Sensing and Context [[electronic resource] ] : 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings / / edited by Payam Barnaghi, Klaus Moessner, Mirko Presser, Stefan Meissner
| Smart Sensing and Context [[electronic resource] ] : 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings / / edited by Payam Barnaghi, Klaus Moessner, Mirko Presser, Stefan Meissner |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 219 p.) |
| Disciplina | 620.11 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Special purpose computers User interfaces (Computer systems) Computer organization Computers Application software Computer Communication Networks Special Purpose and Application-Based Systems User Interfaces and Human Computer Interaction Computer Systems Organization and Communication Networks Information Systems and Communication Service Information Systems Applications (incl. Internet) |
| Soggetto genere / forma |
Guildford (2009)
Kongress. |
| ISBN | 3-642-04471-9 |
| Classificazione |
DAT 250f
DAT 260f ELT 745f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Activity Recognition -- Episode Segmentation Using Recursive Multiple Eigenspaces -- Keep on Moving! Activity Monitoring and Stimulation Using Wireless Sensor Networks -- Time-Lag as Limiting Factor for Indoor Walking Navigation -- Information Aspects of Context-Aware Sensor and Actuator Systems -- A Query Service for Raw Sensor Data -- A Context Lifecycle for Web-Based Context Management Services -- Semantic Annotation and Reasoning for Sensor Data -- Context-Aware Service Platforms -- Semantic Rules for Context-Aware Geographical Information Retrieval -- A Context Provisioning Framework to Support Pervasive and Ubiquitous Applications -- Context-Aware Recommendations on Mobile Services: The m:Ciudad Approach -- Context Processing, Reasoning and Fusion -- Context Cells: Towards Lifelong Learning in Activity Recognition Systems -- Automatic Event-Based Synchronization of Multimodal Data Streams from Wearable and Ambient Sensors -- Using Dempster-Shafer Theory of Evidence for Situation Inference -- Real-World Experiences with Deployed Systems -- Recognizing the Use-Mode of Kitchen Appliances from Their Current Consumption -- Wireless Sensor Networks to Enable the Passive House - Deployment Experiences -- Context-Aware Frameworks in Mobile Environments -- Mobile Context Toolbox -- Statistic-Based Context Recognition in Smart Car. |
| Record Nr. | UNISA-996465292003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Smart Sensing and Context [[electronic resource] ] : 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings / / edited by Payam Barnaghi, Klaus Moessner, Mirko Presser, Stefan Meissner
| Smart Sensing and Context [[electronic resource] ] : 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings / / edited by Payam Barnaghi, Klaus Moessner, Mirko Presser, Stefan Meissner |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 219 p.) |
| Disciplina | 620.11 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Special purpose computers User interfaces (Computer systems) Computer organization Computers Application software Computer Communication Networks Special Purpose and Application-Based Systems User Interfaces and Human Computer Interaction Computer Systems Organization and Communication Networks Information Systems and Communication Service Information Systems Applications (incl. Internet) |
| Soggetto genere / forma |
Guildford (2009)
Kongress. |
| ISBN | 3-642-04471-9 |
| Classificazione |
DAT 250f
DAT 260f ELT 745f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Activity Recognition -- Episode Segmentation Using Recursive Multiple Eigenspaces -- Keep on Moving! Activity Monitoring and Stimulation Using Wireless Sensor Networks -- Time-Lag as Limiting Factor for Indoor Walking Navigation -- Information Aspects of Context-Aware Sensor and Actuator Systems -- A Query Service for Raw Sensor Data -- A Context Lifecycle for Web-Based Context Management Services -- Semantic Annotation and Reasoning for Sensor Data -- Context-Aware Service Platforms -- Semantic Rules for Context-Aware Geographical Information Retrieval -- A Context Provisioning Framework to Support Pervasive and Ubiquitous Applications -- Context-Aware Recommendations on Mobile Services: The m:Ciudad Approach -- Context Processing, Reasoning and Fusion -- Context Cells: Towards Lifelong Learning in Activity Recognition Systems -- Automatic Event-Based Synchronization of Multimodal Data Streams from Wearable and Ambient Sensors -- Using Dempster-Shafer Theory of Evidence for Situation Inference -- Real-World Experiences with Deployed Systems -- Recognizing the Use-Mode of Kitchen Appliances from Their Current Consumption -- Wireless Sensor Networks to Enable the Passive House - Deployment Experiences -- Context-Aware Frameworks in Mobile Environments -- Mobile Context Toolbox -- Statistic-Based Context Recognition in Smart Car. |
| Record Nr. | UNINA-9910484216003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies for Embedded and Ubiquitous Systems [[electronic resource] ] : 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings / / edited by Sunggu Lee, Priya Narasimhan
| Software Technologies for Embedded and Ubiquitous Systems [[electronic resource] ] : 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings / / edited by Sunggu Lee, Priya Narasimhan |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 378 p.) |
| Disciplina | 621.3819 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Artificial intelligence Information storage and retrieval Special purpose computers Application software User interfaces (Computer systems) Computer Communication Networks Artificial Intelligence Information Storage and Retrieval Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| Soggetto genere / forma |
Kongress.
Newport Beach (Calif., 2009) |
| ISBN | 3-642-10265-4 |
| Classificazione |
DAT 260f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme -- Energy-Efficient Process Allocation Algorithms in Peer-to-Peer Systems -- Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems -- Optimizing Mobile Application Performance with Model–Driven Engineering -- A Single-Path Chip-Multiprocessor System -- Towards Trustworthy Self-optimization for Distributed Systems -- An Experimental Framework for the Analysis and Validation of Software Clocks -- Towards a Statistical Model of a Microprocessor’s Throughput by Analyzing Pipeline Stalls -- Joining a Distributed Shared Memory Computation in a Dynamic Distributed System -- BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network -- DPDP: An Algorithm for Reliable and Smaller Congestion in the Mobile Ad-Hoc Network -- Development of Field Monitoring Server System and Its Application in Agriculture -- On-Line Model Checking as Operating System Service -- Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems -- Fine-Grained Tailoring of Component Behaviour for Embedded Systems -- MapReduce System over Heterogeneous Mobile Devices -- Towards Time-Predictable Data Caches for Chip-Multiprocessors -- From Intrusion Detection to Intrusion Detection and Diagnosis: An Ontology-Based Approach -- Model-Based Testing of GUI-Driven Applications -- Parallelizing Software-Implemented Error Detection -- Model-Based Analysis of Contract-Based Real-Time Scheduling -- Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems -- HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization -- Applying Architectural Hybridization in Networked Embedded Systems -- Concurrency and Communication: Lessons from the SHIM Project -- Location-Aware Web Service by Utilizing Web Contents Including Location Information -- The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems -- Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development -- Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing -- An Algorithm to Ensure Spatial Consistency in Collaborative Photo Collections -- Real-Sense Media Representation Technology Using Multiple Devices Synchronization -- Overview of Multicore Requirements towards Real-Time Communication -- Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems. |
| Record Nr. | UNISA-996466278703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Technologies for Embedded and Ubiquitous Systems [[electronic resource] ] : 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings / / edited by Sunggu Lee, Priya Narasimhan
| Software Technologies for Embedded and Ubiquitous Systems [[electronic resource] ] : 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings / / edited by Sunggu Lee, Priya Narasimhan |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 378 p.) |
| Disciplina | 621.3819 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Artificial intelligence Information storage and retrieval Special purpose computers Application software User interfaces (Computer systems) Computer Communication Networks Artificial Intelligence Information Storage and Retrieval Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| Soggetto genere / forma |
Kongress.
Newport Beach (Calif., 2009) |
| ISBN | 3-642-10265-4 |
| Classificazione |
DAT 260f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme -- Energy-Efficient Process Allocation Algorithms in Peer-to-Peer Systems -- Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems -- Optimizing Mobile Application Performance with Model–Driven Engineering -- A Single-Path Chip-Multiprocessor System -- Towards Trustworthy Self-optimization for Distributed Systems -- An Experimental Framework for the Analysis and Validation of Software Clocks -- Towards a Statistical Model of a Microprocessor’s Throughput by Analyzing Pipeline Stalls -- Joining a Distributed Shared Memory Computation in a Dynamic Distributed System -- BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network -- DPDP: An Algorithm for Reliable and Smaller Congestion in the Mobile Ad-Hoc Network -- Development of Field Monitoring Server System and Its Application in Agriculture -- On-Line Model Checking as Operating System Service -- Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems -- Fine-Grained Tailoring of Component Behaviour for Embedded Systems -- MapReduce System over Heterogeneous Mobile Devices -- Towards Time-Predictable Data Caches for Chip-Multiprocessors -- From Intrusion Detection to Intrusion Detection and Diagnosis: An Ontology-Based Approach -- Model-Based Testing of GUI-Driven Applications -- Parallelizing Software-Implemented Error Detection -- Model-Based Analysis of Contract-Based Real-Time Scheduling -- Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems -- HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization -- Applying Architectural Hybridization in Networked Embedded Systems -- Concurrency and Communication: Lessons from the SHIM Project -- Location-Aware Web Service by Utilizing Web Contents Including Location Information -- The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems -- Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development -- Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing -- An Algorithm to Ensure Spatial Consistency in Collaborative Photo Collections -- Real-Sense Media Representation Technology Using Multiple Devices Synchronization -- Overview of Multicore Requirements towards Real-Time Communication -- Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems. |
| Record Nr. | UNINA-9910483224203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
