الصفحة 26
الصفحة 26
Contributions to Ubiquitous Computing
This book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems and presents innovative solutions at all system layers ranging from hardware over vertical and horizontal infrastructure services and novel middleware techniques to various types of application software. Some chapters address core properties of ubiquitous applications including mobility, self-healing and self-organisation of both technical and social-technical systems. Other contributions deal with common facilities like secure e-payment or semantic web techniques and business solutions like wireless asset management or e- maintenance. Distributed systems management with self-monitoring capabilities, Internet congestion control, and novel security solutions coping with denial of service attacks against mobile agent systems and software- and hardware-based data encryption methods are further topics addressed.
Contemporary Cryptology
The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent but related themes: Efficient distributed computation modulo a shared secret / Multiparty computation / Foundations of modern cryptography / Provable security for public key schemes / Efficient and secure public-key cryptosystems.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices ; Vol. 3956 ; Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices.
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
Constructing Ambient Intelligence ; AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers
This book constitutes the refereed proceedings of the workshops of the First European Conference on Ambient Intelligence, AmI 2007, held in Darmstadt, Germany, in November 2007.
Constituents of Modern System-safety Thinking
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical Systems Symposium, held at Southampton, UK in February 2005. The papers included in this volume bring together topics that are of the utmost importance in current safety thinking. The core of modern safety thinking and practice is a risk-based approach, and, this is not only a common thread running throughout the papers, but is also explored in two of them. Other themes considered include the safety case, safety assessment, accident investigation, and the commonality between the processes and techniques employed in safety and security engineering. Papers contain extensive industrial experience as well as recent academic research and are presented under the headings: Independent Safety Assessment, Safety and Security, Accident Investigation, Risk and its Tolerability, Achieving and Arguing the Safety of Modular Systems, and Technologies for Dependability.
Concurrent Zero-Knowledge : With Additional Background by Oded Goldreich
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory de?nition; ze- knowledge proofs are convincing and yet yield nothing beyond the validity of the assertion being proved. Their applicability in the domain of cryptography is vast; they are typically used to force malicious parties to behave according to a predetermined protocol. In addition to their direct applicability in cr- tography, zero-knowledge proofs serve as a good benchmark for the study of variousproblemsregardingcryptographicprotocols(e.g.,“securecomposition of protocols”).
CONCUR 2008 - Concurrency Theory ; 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
Computing science, communication and security ; 2nd International Conference, COMS2 2021, Gujarat, India, February 6–7, 2021, Revised Selected Papers
This book constitutes revised selected papers of the Second International Conference on Computing Science, Communication and Security, COMS2 2021, held in Gandhinagar, India, in February 2021. Due to the COVID-19 pandemic the conference was held virtually. The 19 full papers were thoroughly reveiwed and selected from 105 submissions. Papers are organised according to the topical sections on artificial intelligence and machine learning; networking and communications.
Computing science, communication and security ; 1st International Conference, COMS2 2020, Gujarat, India, March 26–27, 2020, revised selected papers
Constitutes revised selected papers of the First International Conference on Computing Science, Communication and Security, COMS2 2020, held in March 2020. Due to the COVID-19 pandemic the conference was held virtually. The 26 full papers and 1 short paper were thoroughly reveiwed and selected from 79 submissions. Papers are organised according to the topical sections on artificial intelligence and machine learning; network, communication and security; computing science.
Computer vision and graphics ; International Conference, ICCVG 2020, Warsaw, Poland, September 14–16, 2020, Proceedings
This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, held in Warsaw, Poland, in September 2020. The 20 full papers were selected from 49 submissions. The contributions cover topics such as: modelling of human visual perception; computational geometry; geometrical models of objects and scenes; illumination and reflection models and methods; image formation; image and video coding; image filtering and enhancement; biomedical image processing; biomedical graphics; colour image processing; multispectral image processing; pattern recognition in image processing
Computer Viruses and Malware
This book discusses both the technical and human factors involved in computer viruses, worms, and anti-virus software. It also looks at the application of malicious software to computer crime and information warfare. Computer Viruses and Malware is designed for a professional audience composed of researchers and practitioners in industry. This book is also suitable as a secondary text for advanced-level students in computer science.
Computer Viruses : from theory to applications
The purpose of this book is to propose a teaching approach to under- 1 stand what computer viruses really are and how they work. To do this, three aspects are covered ranging from theoretical fundamentals, to pr- tical applications and technical features; fully detailed, commented source 1 We will systematically use the plural form “viruses” instead of the litteral one “virii”. The latter is now an obsolete, though gramatically recommended, form. VIII Preface codes of viruses as well as inherent applications are proposed. So far, the applications-oriented aspects have hardly ever been addressed through the scarce existing literature devoted to computer viruses.
Computer Supported Cooperative Work in Design III ; 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial and proprietary engineering software tools (e.g., CAD, modeling, simulation, visualization, and optimization), engineering databases, and knowledge-based systems. Individuals or individual groups of mult- isciplinary design teams usually work in parallel and separately with various en- neering software tools which are located at different sites. In addition, individual members may be working on different versions of a design or viewing the design from different perspectives, at different levels of detail. In order to accomplish the work, it is necessary to have effective and efficient c- laborative design environments. Such environments should not only automate in- vidual tasks, in the manner of traditional computer-aided engineering tools, but also enable individual members to share information, collaborate, and coordinate their activities within the context of a design project. CSCW (computer-supported coope- tive work) in design is concerned with the development of such environments.
Computer security principles and practice
Provides an up-to-date survey of developments in computer security. Central problems that confront security designers and security administrators include defining the threats to computer and network systems, evaluating the relative risks of these threats, and developing cost-effective and user friendly countermeasures
Computer Security in the 21st Century
Computer Security in the 21st Century shares some of the emerging important research trends reflected in recent advances in computer security, including: security protocol design, secure peer-to-peer and ad hoc networks, multimedia security, and intrusion detection, defense and measurement. Highlights include presentations of : * Fundamental new security * Cryptographic protocols and design, * A new way of measuring network vulnerability: attack surfaces, * Network vulnerability and building impenetrable systems, * Multimedia content protection including a new standard for photographic images, JPEG2000. Researchers and computer security developers will find in this book interesting and useful insights into building computer systems that protect against computer worms, computer viruses, and other related concerns.
Computer Security - ESORICS 2008 ; 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, held in Torremolinos, Spain, in October 2008.
Computer Security – ESORICS 2007 ; 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007, Proceedings
This book address issues such as data protection; security protocols; systems; web and network security; privacy; threat modeling and detection; information flow; and security in emerging applications such as cryptocurrencies, the Internet of Things and automotive.
Computer Security – ESORICS 2006 ; 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. it presents original research contributions, case studies and implementation experiences addressing any aspect of computer security - in theory, mechanisms, applications, or practical experience.
Computer Security - ESORICS 2005
These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security (ESORICS), held S- tember 12–14, 2005 in Milan, Italy. In response to the call for papers 159 papers were submitted to the conf- ence. These paperswere evaluated on the basis of their signi?cance, novelty,and technical quality. Each paper was reviewed by at least three members of the program committee. The program committee meeting was held electronically,
