{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":51,"n_cols":5,"rows_kept":51,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[20,2,20,3],[21,2,21,3],[24,2,24,3],[34,2,34,3],[34,4,34,5],[35,2,35,3],[35,4,35,5],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[44,2,44,3],[45,2,45,3],[49,2,49,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465682303316"]
[null,null,"Titolo",null,"Trusted Systems [[electronic resource] ] : Second International Conference, INTRUST 2010, Beijing, China, December 13-15, 2010, Revised Selected Papers / / edited by Liqun Chen, Moti Yung"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011"]
[null,null,"ISBN",null,"3-642-25283-4"]
[null,null,"Edizione",null,"[1st ed. 2011.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 362 p. 73 illus.)"]
[null,null,"Collana",null,"Security and Cryptology ; ; 6802"]
[null,null,"Disciplina",null,"004"]
[null,null,"Soggetti",null,"Computer networks"]
[{"$nulls":4},"Cryptography"]
[{"$nulls":4},"Data encryption (Computer science)"]
[{"$nulls":4},"Electronic data processing—Management"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Computers and civilization"]
[{"$nulls":4},"Data protection"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Cryptology"]
[{"$nulls":4},"IT Operations"]
[{"$nulls":4},"Computers and Society"]
[{"$nulls":4},"Data and Information Security"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Includes index."]
[null,null,"Nota di contenuto",null,"Intro -- Title -- Preface -- Table of Contents -- Implementation Technology -- Seamless Integration of Trusted Computing into  Standard Cryptographic Frameworks -- Introduction -- Related Work -- Our Contribution and Background -- Architecture Overview -- Comparison to Classic TCG Trusted Software Stacks -- Connection and Context Setup -- Using the doTSS Client API -- System Implementation -- Server Architecture -- Client Architecture -- Client/Server Communication Protocol -- doTSS on Embedded Systems -- Conclusion and Future Work -- References -- Design and Implementation of Document Access  Control Model Based on Role and Security Policy -- Introduction -- Background and Motivation -- Previous Works -- Challenging Issues -- Our Contributions -- XACML-"]
[{"$nulls":4},"RBAC Framework -- Document Access Control Model -- Security Requirements of Model -- Security Policy of the Model -- Static Security Rules -- Dynamic Security Rules -- Information Flow Analysis -- Document Access Control System -- Implementation -- Evaluation -- Conclusion and Future Work -- References -- Towards High-Performance IPsec on Cavium  OCTEON Platform -- Introduction -- Background -- Cavium OCTEON -- Run-to-Completion vs Pipeline -- IPsec -- Encrypting Algorithms -- IPsec Implementation -- OUTBOUND Design -- INBOUND Design -- Performance Evaluation -- Development Platform and Test Environments -- Experiment on Different Encryption Algorithms and Packet Length -- Experiment on Different Core Numbers -- Experiment on Pipeline and Run-to-Completion Mechanism -- Conclusion -- References -- Security Analysis -- An Abstract Model of a Trusted Platform -- Introduction -- Trusted Computing -- Trusted Platforms -- The Need for Reasoning about Platform Properties -- A CSP Primer -- Why CSP -- An Abstract Model -- Runtime System -- Resources -- Applications -- Platform Configurations."]
[{"$nulls":4},"Platform Instantiation and Property Verification -- Initial Memory Contents -- Component Location Configuration -- Application Logic -- Property Specification and Verification -- Case Study: Cooper's Trusted Grid Platform -- Property Specification -- Common Setup -- Instantiating a Malicious Platform -- Instantiating a Non-malicious Platform -- Property Verification, Results and Discussion -- Performance Results -- Observations -- Application Specification -- Extending Configurations -- State Space Reduction -- Performance and Scalability of the Model -- Related Work -- Conclusion and Future Work -- References -- Modeling TCG-Based Secure Systems  with Colored Petri Nets -- Introduction -- Preliminaries -- Trusted Computing -- Colored Petri Nets -- Modeling TCG-Based Secure Systems with CPN -- Basic Model -- Process Management -- Synchronous I/O -- Data Management -- Late Launch -- Case Studies -- Memory Protection in TrustVisor -- Remote Attestation Based on Dynamic Root of Trust -- Related Work -- Secure Systems Based on Trusted Computing -- CPN Based Formal Studies -- Formal Verification on Trusted Computing -- Conclusion -- References -- Information Flow Graph: An Approach to Identifying  Covert Storage Channels -- Introduction -- The Information Flow Graph Approach -- Graph Notation and Semantics -- Constructing An Information Flow Graph -- Pruning the Information Flow Graph -- Searching for Information Flow Paths -- Analyzing Operation Sequences -- Example Analyses Using Information Flow Graph -- A Brief Description of the File System Example -- Example Information Flow Graph and Scenario List for File System Example -- Comparison of IFG, CFT and SRM Analyses for the File System Example -- Comparison among SRM, CFT and IFG -- Conclusion and Future Work -- References -- Trusted Subjects Configuration Based on TE  Model in MLS Systems."]
[{"$nulls":4},"Introduction -- Related Works -- Trusted Subjects Configuration -- Notation for Trusted Subject -- Information Flow Graph -- MLS Policy Information Flow Graph -- Type Enforcement Policy and Entity Information Flow Graph -- Determine the Trusted Subjects -- Security Label Range of Trusted Subjects -- Risk Information Flow Graph -- Risk of Trusted Subjects -- Risk Security -- The Assurance Requirements of Trusted Subjects -- Conclusions -- References -- Cryptographic Aspects (I) -- Key Exchange with Anonymous Authentication  Using DAA-SIGMA Protocol -- Introduction -- Our Contribution -- Related Work -- Organization of the Paper -- Background and Building Blocks -- Notations -- Review of DAA -- Review of SIGMA Key Exchange "]
[{"$nulls":4},"Protocol -- Security Model -- Review of Canetti-Krawczyk Key Exchange Model -- Security Model for Key Exchange with Anonymous Authentication -- Proposed DAA-SIGMA Protocol -- Security Proof of the DAA-SIGMA Protocol -- Proof of Property P1 -- Proof of Property P2 -- Discussions and Extensions -- Using Group Signatures Instead of DAA -- Use Certificates Instead of Identities -- Supporting User-Controlled-Traceability and DAA Revocation -- Mutual Anonymous Authentication Using DAA -- Conclusions and Future Work -- References -- Revocation of Direct Anonymous Attestation -- Introduction -- General Concept of DAA Revocation -- Two Approaches -- Security Properties -- Review Three Types of DAA Schemes -- The RSA-DAA Scheme -- The LRSW-DAA Schemes -- The SDH-DAA Schemes -- Review of the Existing Revocation Solutions -- Rekey-Based Revocation -- An Overview -- Rekey in the RSA-DAA Scheme -- Rekey in the LRSW-DAA Schemes -- Rekey in the SDH-DAA Schemes -- Verifier-Local Revocation -- An Overview -- New VLR in the RSA-DAA Scheme -- New VLR in the SDH-DAA Schemes -- Comparisons and Discussions -- Performance Measurement."]
[{"$nulls":4},"Comparisons of VLR Methods -- Comparisons between Rekey and VLR Methods -- Using Rekey and VLR Approaches Together -- Conclusions -- References -- Measuring Random Tests by Conditional  Entropy and Optimal Execution Order -- Introduction -- Preliminaries -- Principle of a Statistical Test -- NIST Random Test Package -- The Conditional Entropy of the Tests -- The Application of the Entropy -- The Result and Analysis -- The Order of the Tests' Execution -- The Way to Decide the Execution Order -- The Result and Analysis -- Conclusion -- References -- Cryptographic Aspects (II) -- Leakage Resilient Strong Key-Insulated  Signatures in Public Channel -- Introduction -- Our Contribution -- Definitions -- Some Impossibility Results -- Our Proposal -- A Concrete Instantiation -- References -- Two-Head Dragon Protocol:  Preventing Cloning of Signature Keys -- Introduction -- Previous Work -- Preliminaries -- A Simple Solution -- Target Application Area -- Two-Head Dragon Protocol -- Preliminaries -- Card Deployment -- Signature Creation and Verification -- Situation of an Adversary -- Security Considerations -- Remarks on Cloning Assumptions -- Composition Issues -- Final Remarks -- Further Applications -- Conclusion -- References -- Addressing Leakage of Re-encryption Key in  Proxy Re-encryption Using Trusted Computing -- Introduction -- Preliminaries -- Model of Unidirectional Proxy Re-encryption -- Review of Chow et al.'s Scheme -- Our Method -- Overview of the Method -- Modifying Chow et al.'s Scheme -- Details of Our Method -- Security Analysis -- Discussions -- Conclusion -- References -- Mobile Trusted Systems -- Can Hand-Held Computers Still Be Better  Smart Cards? -- Introduction -- System Requirements and Use Cases -- Background -- Standards in the Field -- Trusted Hardware -- Architecture."]
[{"$nulls":4},"Host Computer Smart Card Middlewares and Smart Card Filesystem -- Smart Card Provisioning Server -- Credential Life-Cycle -- Implementation -- Speed Measurements -- Security Analysis -- Related Work -- Conclusions and Future Work -- References -- TruWalletM: Secure Web Authentication on  Mobile Platforms -- Introduction -- Model and Requirement Analysis -- Architecture and Design Decisions -- Design Decisions -- Architecture -- Use Cases and Protocols -- Establishing SSL/TLS Connection and Managing Two Logical SSL/TLS Subchannels -- TruWalletM Initialization -- Registration -- Login -- Password Change -- Implementation -- Security Considerations -- Related Work -- Conclusion and Future Work -- References -- A Game Theory-Based Surveillance Mechanism  "]
[{"$nulls":4},"against Suspicious Insiders in MANETs -- Introduction -- Background and Motivation -- Related Works -- Challenging Issues -- Our Contributions -- Threat Analysis -- Reputation Mechanism -- Misbehavior Prediction -- Surveillance Game -- Multilevel Surveillance -- Reward and Punishment Scheme -- Surveillance Game Model -- Game Solutions -- Decision Making -- Case Study -- Conclusion -- References -- Hardware Security -- Hardware Trojans for Inducing or Amplifying  Side-Channel Leakage of Cryptographic Software -- Introduction -- Preliminaries and Related Work -- Bug Attacks -- Micro-Architectural Side-Channels -- Fault Attacks -- Activation Mechanisms -- Method 1: Snooping the Data Bus -- Method 2: Snooping Operands of Instructions -- Effects of the Trojan -- Fault Induction -- Timing Variation -- Variation of Power Consumption -- Case Studies -- Attacking AES -- Attacking RSA -- Conclusions -- References -- An Emerging Threat: Eve Meets a Robot -- Introduction -- What is a Robot? -- Security of Robotics -- A Simple Active Attack and a Countermeasure -- Active Attacks on Robots."]
[{"$nulls":4},"Information Leakage Attacks on Robots."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Trusted Systems, INTRUST 2010, held in Beijing, China, in December 2010. The 23 revised full papers were carefully reviewd and selected from 66 submissions for inclusion in the book. The papers are organized in seven topical sections on implementation technology, security analysis, cryptographic aspects, mobile trusted systems, hardware security, attestation, and software protection."]
[null,"2.","Record Nr.",null,"UNINA9910789093603321"]
[null,null,"Titolo",null,"Delivering lifelong continuing professional education across space and time : the Fourth World Conference on Continuing Professional Education for the Library and Information Science Professions / / edited by Blanche Woolls and Brooke E. Sheldon"]
[null,null,"Pubbl/distr/stampa",null,"München : , : K.G. Saur, , 2001"]
[null,null,"ISBN",null,"3-11-094858-3"]
[null,null,"Edizione",null,"[Reprint 2013]"]
[null,null,"Descrizione fisica",null,"1 online resource (295 p.)"]
[null,null,"Collana",null,"IFLA Publications ; ; 98"]
[null,null,"Disciplina",null,"295"]
[null,null,"Soggetti",null,"Library education (Continuing education)"]
[{"$nulls":4},"Information scientists - Training of"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"Front matter -- TABLE OF CONTENTS -- ACKNOWLEDGEMENTS -- FOREWORD -- INAGURATION OF CONFERENCE -- CREATING THE DELIVERY MECHANISMS: EFFECTS OF NEW TECHNOLOGIES FIRST PLENARY SESSION -- Continuing Professional Education: Towards Evidence-Based Practice / Haycock, Ken -- North American Models of Internet-Delivered Continuing Professional Education: Are They Exportable? / Varlejs, Jana -- Building a Plan to Deliver Lifelong Continuing Professional Education Across Space and Time / Woolls, Blanche -- Delivering Continuing Professional Library Education in Africa: The Technology Challenge / Moyo, Lesley -- Continuing Library and Information Science Professional Education Through the Virtual Campus Initiative / Kanjilal, Urna -- Group Mentoring for Librarianship Graduates: A Report on Outcome / Ritchie, Ann / Genoni, Paul -- Acquisition of Skills in Emerging Technologies through Continuing Professional Education: The Nigerian Perspective / Jegede, Oluremi -- A Proposed Model to Meet the Continuing Professional Educational Needs of Information Workers in South Africa / Terblanche, Fransie -- Self-Learning Platform: The Infodoc Courseware on CD-ROM and the Web Communication / Paci, Augusta Maria -- Learning and Instruction in a Learning Society: Contribution of Information Technology to Innovation in Library and Information Science Education / Virkus, Siije -- The IASL Web Site in Lifelong Informal Continuing Professional Education of School Library Personnel / Clyde, Laurel A. -- Distance Education in Lifelong Learning for Library and Information Science Professionals in "]
[{"$nulls":4},"the Perspective of Information Society Needs in Poland / Kocójowa, Maria -- ENGAGING STAFF IN LIFELONG EDUCATION OVER SPACE AND TIME SECOND PLENARY SESSION -- Development of Library and Information Science Continuing Professional Education Network Centers in Hungary / Palvolgyi, Mihaly / Csapo, Edit -- Assessment of Continuing Professional Education Needs and Preferences of Professional Public Librarians in Israel / Dotan, Gabriella -- Flexible Staff: Implications for the Drive for Flexibility on the Changing Skills and Attributes in Higher Education Librarians Developing Hybrid Library Service / Walton, Graham / Edwards, Catherine -- Preparing Librarians to Solve Problems Faced by International Students in American College and University Libraries / Arishee, Jebreel -- Library and Information Science Professionals in the Networked Learning Environment / Wormell, Irene -- Meeting the Needs of Information Professionals for Lifelong Learning: The Employer's Challenge or Opportunity? / Bridgland, Angela -- How Graduate Library and Information Science Professionals Cope with Constant Need for Updating their Knowledge and Skills: A Croatian Case / Aparac, Tatjana / Vrana, Radovan / Badurina, Boris / Dragjja, Martina -- Predicting and Defining Lifelong Learning Needs for Continuing Professional Education / Immroth, Barbara -- The Role of Academic Institutions in the Continuing Professional Education of Librarians and Information Professionals / Shoham, Snunith -- Teaching \"Organization of Information\" through the Web / Ruksasuk, Narumol -- The Continuing Qualification of Librarians in Bulgaria: Policy and Ideas: The Creation of a Center for Continuing Professional Education / Yanakieva, Tatyana -- Information Technology Training Needs Assessment in Developing Countries: Socio-Political and Economic Transition / Rusch-Feja, Diann -- WHERE DO WE GO FROM HERE? THIRD PLENARY SESSION -- New Structures of Continuing Professional Education for Information Professionals in Developing Countries: Challenge of Knowledge Management / Benjelloun, Mohamed -- Fit to Practice? The Need for the Certification of Professional Knowledge and Competencies / Ward, Patricia Layzell -- Janus in South Africa: Building for the Future While Keeping an Eye on the Past / Walker, Clare M. -- Appendix A. Understanding the Adult Learner / Knowles, Malcolm S. -- Appendix Β. Strengthening the Quality of Continuing Professional Education / Knox, Alan B. -- Appendix C. Greening Of Librarianship: Charting A New Course for Continuing Library Education / Smith, Duncan -- Appendix D. Training The Trainer: A Perspective From The Ala/Clene-RT / Weingand, Darlene B. -- Appendix E. Planning An International Continuing Professional Education Event: The Barcelona Experience / Woolls, Blanche"]