You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 34th IFIP TC 11 International Conference on Information Security and Privacy Protection, SEC 2019, held in Lisbon, Portugal, in June 2019. The 26 revised full papers presented were carefully reviewed and selected from 76 submissions. The papers present novel research on theoretical and practical aspects of security and privacy protection in ICT systems. They are organized in topical sections on intrusion detection, access control, organizational and behavioral, crypto and encryption, and integrity.
Understanding cybersecurity principles and practices is vital to all users of IT systems and services, and is particularly relevant in an organizational setting where the lack of security awareness and compliance amongst staff is the root cause of many incidents and breaches. If these are to be addressed, there needs to be adequate support and provision for related training and education in order to ensure that staff know what is expected of them and have the necessary skills to follow through. Cybersecurity Education for Awareness and Compliance explores frameworks and models for teaching cybersecurity literacy in order to deliver effective training and compliance to organizational staff so...
It may seem strange to claim that it is difficult to design innovative information technology (IT) in a time when the technological progress leaps forward like never before. However, despite the numerous opportunities that this rapid progress provides, we often design IT that is similar to existing artifacts, making IT design incremental rather than radical. At the same time, IT innovations are pointed out as crucial to meet the societal challenges we are facing, not least in the public sector, including a growing and older population, increasing demands from citizens and reduced tax revenues. This calls for us to better understand why it is difficult to design innovative IT. Previous resear...
Given the pervasive nature of information technology and information systems in the modern world, the design and development of IS and IT are critical issues of concern. New research topics continuously emerge in tandem with the latest developments in technology-E-Business, Knowledge Management, Business Process Reengineering, for example. However, when the initial flurry of research abates and the "gloss" of these areas has diminished somewhat, as it inevitably does, the enduring core issue remains as to how to develop systems to fully exploit these new areas. Both information systems and information technology are interpreted fairly broadly in this book. Of particular interest to the edito...
Information Systems Research: Relevant Theory and Informed Practice comprises the edited proceedings of the WG8.2 conference, "Relevant Theory and Informed Practice: Looking Forward from a 20-Year Perspective on IS Research," which was sponsored by IFIP and held in Manchester, England, in July 2004. The conference attracted a record number of high-quality manuscripts, all of which were subjected to a rigorous reviewing process in which four to eight track chairs, associate editors, and reviewers thoughtfully scrutinized papers by the highly regarded as well as the newcomers. No person or idea was considered sacrosanct and no paper made it through this process unscathed. All authors were aske...
The principal message of the ‘Human Choice and Computers’ (HCC) tradition and its associated conferences over the years is that there are choices and alternatives. In this volume, Social Informatics takes two directions. The first supports readers in interpreting of the meaning of Social Informatics. The second, more extensive part develops an overview of various applications of Social Informatics. Researchers inspired by Social Informatics touch many areas of human and social life.
This thesis presents a completely automatic verification framework to check safety properties of parameterized systems. A parameterized system is a family of finite state systems where every system consists of a finite number of processes running in parallel the same algorithm. All the systems in the family differ only in the number of the processes and, in general, the number of systems in a family may be unbounded. Examples of parameterized systems are communication protocols, mutual exclusion protocols, cache coherence protocols, distributed algorithms etc. Model-checking of finite state systems is a well-developed formal verification approach of proving properties of systems in an automa...
This volume represents a compendium of research conducted by international scholars who participated in the 2nd Symposium on Advances in Geospatial held during “The 5th International Conference on Medical Geology” in Arlington, Virginia, USA, in 2013. The research topics dealt with here mainly focus on the new scientific field of medical geology used to address a variety of human health issues and diseases specifically related to geological materials and earth-system processes. This volume will be of interest to those who wish to learn about current and historical health issues relating to geological materials or other environmental factors. It also represents a useful guide to learning the interdisciplinary approach to problem-solving in the field of medical geology.
This book constitutes the proceedings of the 15th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2023, held in Budapest, Hungary, in September 2023, in conjunction with the IFIP WG 8.5 Conference on Electronic Government (EGOV 2023) and the Conference for E-Democracy and Open Government Conference (CeDEM 2023). A total of 38 full papers has been carefully reviewed and selected from 106 submissions. Eight of the accepted papers are included in this book. They were organized in topical sections as follows: E-participation; digital transformation; digital technology; and digital sovereignty.