الصفحة 1
الصفحة 1
On the construction of engineering handbooks : With an Illustration from the railway safety domain
This book is the first to reflect upon the question of how to construct a desktop handbook. It is demonstrated how concept analysis can be used for identifying settled knowledge as the key ingredient by utilizing the assembled data for classification; a presentation scheme for handbook articles is developed and demonstrated to be suitable. The sketched approach is then illustrated by an example from the railway safety domain. Finally, the limitations of the presented methods are discussed.
OMDoc : An Open Markup Format for Mathematical Documents [version 1.2]
Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I’m not referring to that. I mean that people have begun to think about what they do in compu- tional terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians.
New Algorithms for Macromolecular Simulation
Molecular simulation is a widely used tool in biology, chemistry, physics and engineering. This book contains a collection of articles by leading researchers who are developing new methods for molecular modelling and simulation. Topics addressed here include: multiscale formulations for biomolecular modelling, such as quantum-classical methods and advanced solvation techniques; protein folding methods and schemes for sampling complex landscapes; membrane simulations; free energy calculation; and techniques for improving ergodicity. The book is meant to be useful for practitioners in the simulation community and for those new to molecular simulation who require a broad introduction to the state of the art.
Multivariate Public Key Cryptosystems
Multivariate public key cryptosystems (MPKC) is a fast-developing new area in cryptography. In the past 10 years, MPKC schemes have increasingly been seen as a possible alternative to number theoretic-based cryptosystems such as RSA, as they are generally more efficient in terms of computational effort. As quantum computers are developed, MPKC will become a necessary alternative. Multivariate Public Key Cryptosystems systematically presents the subject matter for a broad audience. Information security experts in industry can use the book as a guide for understanding what is needed to implement these cryptosystems for practical applications, and researchers in both computer science and mathematics will find this book a good starting point for exploring this new field. It is also suitable as a textbook for advanced-level students.
Information security theory and practices : Smart cards, mobile and ubiquitous computing systems ; 1st IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007
Constitutes the refereed proceedings of the First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop on Information Security Theory and Practices: Smart Cards, Mobile and Ubiquitous Computing Systems, WISTP 2007, held in Heraklion, Crete, Greece in May 2007. This book includes sections on hardware and cryptography, and cryptography schemes.
Information security and privacy ; Vol. 3574 : 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings
Constitutes the refereed proceedings of the 10th Australasian Conference on Information Security and Privacy, ACISP 2005, held in Brisbane, Australia in July 2005. The papers are organized in topical sections on network security, cryptanalysis, group communication, elliptic curve cryptography, mobile security, side channel attacks, and more.
Information security and privacy ; 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001. Proceedings
A Few Thoughts on E-Commerce.- New CBC-MAC Forgery Attacks.- Cryptanalysis of a Public Key Cryptosystem Proposed at ACISP 2000.- Improved Cryptanalysis of the Self-Shrinking Generator.- Attacks Based on Small Factors in Various Group Structures.- On Classifying Conference Key Distribution Protocols.- Pseudorandomness of MISTY-Type Transformations and the Block Cipher KASUMI.- New Public-Key Cryptosystem Using Divisor Class Groups.- First Implementation of Cryptographic Protocols Based on Algebraic Number Fields.- Practical Key Recovery Schemes.- Non-deterministic Processors.- Personal Secure Booting.- Evaluation of Tamper-Resistant Software Deviating from Structured Programming Rules.- A Strategy for MLS Workflow.- Condition-Driven Integration of Security Services.- SKETHIC: Secure Kernel Extension against Trojan Horses with Informat ion-Carrying Codes.- Secure and Private Distribution of Online Video and Some Related Cryptographic Issues.- Private Information Retrieval Based on the Subgroup Membership Problem.
Information security and privacy ; 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings
This book constitutes the refereed proceedings of the 13th Australasian Conference on Information Security and Privacy, ACISP 2008, held in Wollongong, Australia, in July 2008.The 33 revised full papers presented were carefully reviewed and selected from 111 submissions. The papers cover a range of topics in information security, including authentication, key management, public key cryptography, privacy, anonymity, secure communication, ciphers, network security, elliptic curves, hash functions, and database security.
Information security and cryptology ; Vol. 4318 ; 2nd SKLOIS Conference, Inscrypt 2006, Beijing, China, November 29 - December 1, 2006, Proceedings
The second SKLOIS Conference on Information Security and Cryptology 2006 (Inscrypt, formerly CISC) was organized by the State Key Laboratory of Inf- mation Security of the Chinese Academy of Sciences. This international conf- ence was held in Beijing, China and was sponsored by the Institute of Software, the Chinese Academy of Sciences, the Graduate University of Chinese Academy of Sciences and the National Natural Science Foundations of China. The c- ference proceedings, with contributed papers, are published by Springer in this volume of Lecture Notes in Computer Science (LNCS).
Information security and cryptology ; Vol. 3822 ; 1st SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings
The first SKLOIS Conference on Information Security and Cryptography(CISC 2005) was organized by the State Key Laboratory of Information Security of the Chinese Academy of Sciences. It was held in Beijing, China, December 15-17, 2005 and was sponsored by the Institute of Software, the Chinese Academy of Sciences, the Graduate School of the Chinese Academy of Sciences and the National Science Foundation of China. The conference proceedings, represe- ing invited and contributed papers, are published in this volume of Springer’s Lecture Notes in Computer Science (LNCS) series. The area of research covered by CISC has been gaining importance in recent years, and a lot of fundamental, experimental and applied work has been done, advancing the state of the art. The program of CISC 2005 covered numerous ?elds of research within the general scope of the conference.
Information Security and Cryptology ; 3rd SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Third SKLOIS (State Key Laboratory of Information Security) Conference on Information Security and Cryptology, Inscrypt 2007 (formerly CISC), held in Xining, China, in August/September 2007.The 33 revised full papers and 10 revised short papers presented together with 2 invited papers were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on digital signature schemes, block cipher, key management, zero knowledge and secure computation protocols, secret sharing, stream cipher and pseudorandomness.
Information Security ; Vol. 4176 ; 9th International Conference; ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings
th This volume contains the papers presented at the 9 Information Security Conference (ISC 2006) held on Samos Island, Greece, during August 30 – September 2, 2006. The Conference was organized by the University of the Aegean, Greece. ISC was first initiated as a workshop, ISW in Japan in 1997, ISW 1999 in Mal- sia, ISW 2000 in Australia and then changed to the current name ISC when it was held in Spain in 2001 (ISC 2001). The latest conferences were held in Brazil (ISC 2002), UK (ISC 2003), USA (ISC 2004), and Singapore (ISC 2005). ISC 2006 provided an international forum for sharing original research results and application experiences among specialists in fundamental and applied problems of - formation security. In response to the Call for Papers, 188 papers were submitted. Each paper was - viewed by three members of the PC, on the basis of their significance, novelty, and technical quality. Of the papers submitted, 38 were selected for presentation, with an acceptance rate of 20%.
Improving image quality in visual cryptography
This book comprehensively covers the important efforts in improving the quality of images in visual cryptography (VC), with a focus on cases with gray scale images. It not only covers schemes in traditional VC and extended VC for binary secret images, but also the latest development in the analysis-by-synthesis approach.
Fundamentals of manufacturing engineering using digital visualization
Offers a guide to core principles and practices of manufacturing engineering. It covers the design of, together with technological and measurement issues for, technical systems. Locating charts and setup schemes describing different machining processes are included. Concepts of product quality, with a focus on accuracy indicators, machining accuracy, roughness, and the impact of surface quality on exploitation properties are also explained. Furthermore, key machining methods, including turning, milling, hole machining, grinding, and gear machining, are analyzed in depth, covering their principles, applications, and techniques. The book is enriched by QR codes, linking to a mobile application presenting additional information about the content, for an interactive and extended learning experience. It also uses illustrations visualized with digital tools to promote a better understanding of the concepts.
Fractional-in-time semilinear parabolic equations and applications
This book provides a unified analysis and scheme for the existence and uniqueness of strong and mild solutions to certain fractional kinetic equations. This class of equations is characterized by the presence of a nonlinear time-dependent source, generally of arbitrary growth in the unknown function, a time derivative in the sense of Caputo and the presence of a large class of diffusion operators. The global regularity problem is then treated separately and the analysis is extended to some systems of fractional kinetic equations, including prey-predator models of Volterra–Lotka type and chemical reactions models, all of them possibly containing some fractional kinetics.
Formal techniques for computer systems and business processes ; European performance engineering workshop, EPEW 2005 and International workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005. The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers - of the 32 submitted - were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches.
Finite Difference Computing with PDEs : A Modern Software Approach
This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algorithms, verification of implementations, analyses of physical behavior as implied by the numerical solutions, and how to apply the methods and software to solve problems in the fields of physics and biology.
Fast software encryption ; Vol. 4047 ; 13th international workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers
Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored for the last ?ve years by the International Association for Cryptologic Research (IACR), and previous FSE workshops have been held around the world: 1993 Cambridge, UK 1994 Leuven, Belgium 1996 Cambridge, UK 1997 Haifa, Israel 1998 Paris, France 1999 Rome, Italy 2000 New York, USA 2001 Yokohama, Japan 2002 Leuven, Belgium 2003 Lund, Sweden 2004 New Delhi, India 2005 Paris, France The FSE workshop is devoted to research on fast and secure primitives for symmetric cryptography, including the design and analysis of block ciphers, stream ciphers, encryption schemes, analysis and evaluation tools, hash fu- tions, and message authentication codes.
Digital Rights Management : Technologies, Issues, Challenges and Systems
The First International Conference on Digital Rights Management: Technology, Issues, Challenges and Systems (DRMTICS – pronounced ‘dramatics’), took place in Sydney, Australia on 31st October - 2nd November, 2005.DRMTICS isan internationalconferenceseriesthat coversthe areaof digital rights management, including research advancements of an applied and theor- ical nature. The goal is to have a broad coverage of the ?eld and related issues and subjects as the area evolves. Since the Internet and the computing infr- tructure has turned into a marketplace for content where information goods of various kinds are exchanged, this area is expected to grow and be part of the ongoing evolution of the information society.
Database systems for advanced applications ; Vol. 3453 ; 10th international conference, DASFAA 2005, Beijing, China, April 17-20, 2005, Proceedings
Data Stream Mining and Resource Adaptive Computation.- Purpose Based Access Control for Privacy Protection in Database Systems.- Complex Networks and Network Data Mining.- Bioinformatics.- Indexing DNA Sequences Using q-Grams.- PADS: Protein Structure Alignment Using Directional Shape Signatures.- LinkageTracker: A Discriminative Pattern Tracking Approach to Linkage Disequilibrium Mapping.- Watermarking and Encryption.- Query Optimization in Encrypted Database Systems.- Watermarking Spatial Trajectory Database.- Effective Approaches for Watermarking XML Data.- XML Query Processing.- A Unifying Framework for Merging and Evaluating XML Information.- Efficient Evaluation of Partial Match Queries for XML Documents Using Information Retrieval Techniques.- PathStack: A Holistic Path Join Algorithm for Path Query with Not-Predicates on XML Data.- XML Coding and Metadata Management.- An Improved Prefix Labeling Scheme: A Binary String Approach for Dynamic Ordered XML.- Efficiently Coding and Indexing XML Document.- XQuery-Based TV-Anytime Metadata Management.- Data Mining.- Effective Database Transformation and Efficient Support Computation for Mining Sequential Patterns.
