Authors:Pierpaolo Degano, Luca Viganò,
Publisher: Springer
Keywords: security, analysis, theory, issues, computer, science, protocol, cryptology, automated, applications, joint, workshop, foundations, reasoning
Number of Pages: 223
Published: 2009-10-07
List price: $64.95
ISBN-10: 3642034586
ISBN-13: 9783642034589
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, held in York, UK, in March 2009, in association with ETAPS 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. The papers feature topics including formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mech
Authors:M. Broy, M Broy, T. Hoare, J. Grunbauer,
Publisher: IOS Press
Keywords: security, nato, information, communication, series, science, volume, systems, reliability, software
Number of Pages: 434
Published: 2007-05-15
List price: $183.00
ISBN-10: 1586037315
ISBN-13: 9781586037314
The foundations of software technology provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of software systems, software architectures and programs. New developments must pay due diligence to the importance of security-related aspects, and align current methods and techniques to information security, integrity, and system reliability. However, based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods,
Author: Committee on Assessment of Security Technologies f
Publisher: National Academies Press
Keywords: security, airport, improve, system, fusion, data
Number of Pages: 82
Published: 2007-11-19
List price: $21.00
ISBN-10: 0309107482
ISBN-13: 9780309107488
The security of the U.S. commercial aviation system has been a growing concern since the 1970’s when the hijacking of aircraft became a serious problem. Over that period, federal aviation officials have been searching for more effective ways for non-invasive screening of passengers, luggage, and cargo to detect concealed explosives and weapons. To assist in this effort, the Transportation Security Administration (TSA) asked the NRC for a study of emerging screening technologies. This book - the fourth of four - focuses on data fusion as a means to significantly improve the ability of the
Author: Keith R. Krause
Publisher: Routledge
Keywords: security, contemporary, studies, building, control, multilateralism, culture
Number of Pages: 264
Published: 1999-01-31
List price: $49.95
ISBN-10: 0714644374
ISBN-13: 9780714644370
A comprehensive and empirically rich set of case studies that examine the impact of socio-cultural influences on multilateral arms control and security-building processes around the world.
Author: R. Giladi D.N. Serpanos
Publisher: IOS Press
Keywords: security, series, information, communication, science, nato, embedded, systems, volume
Number of Pages: 216
Published: 2006-01-01
List price: $168.00
ISBN-10: 1586035800
ISBN-13: 9781586035808
Technological advances have led to wide deployment and use of embedded systems in an increasing range of applications, from mobile phones to car, plane and spacecraft and from digital ids to military systems in the field. Many of these applications place significant security requirements and have led to significant research activity in the area of security and embedded systems, due to the limited resources of conventional embedded syst+S37ems. This emerging research area is of great importance to a large number of public and private organizations, due to their desire to deploy secure embedded
Author: M.-I. Baraton
Publisher: Springer
Keywords: security, peace, science, series, environmental, nato, materials, environment, health, advanced, sensors, technologies
Number of Pages: 500
Published: 2008-11-21
List price: $119.00
ISBN-10: 1402090102
ISBN-13: 9781402090103
The growing concern worldwide for air pollution, biological threats and security issues has led to an increasing demand for sensors in multiple application areas, thus calling for a fast development of small, reliable, inexpensive sensors which can be easily integrated in various devices and equipments. Research efforts worldwide span diverse areas, including new materials such as nanotubes and nanofibers, miniaturization of electronics through nanotechnology, or integration of several sensors in artificial noses, to name only a few. Most of the time, the research results reported at internati
Authors:Guy Pluvinage, Aleksandar Sedmak,
Publisher: Springer
Keywords: security, science, peace, series, environmental, nato, materials, reliability, damaged, structures, defective
Number of Pages: 418
Published: 2009-08-18
List price: $119.00
ISBN-10: 9048127912
ISBN-13: 9789048127917
Structures that are essential for economy and security such as energy production, transportation and supply, water supply, buildings, are susceptible to failure, because of defects already present in the material, or created at fabrication, or appearing during service. Methods of assesment of the nocivity of these defects are needed, to predict the remaining service life and the eventual emergency of stopping service and repairing, if possible. To reach this objectives, this book presents the last methods derived from the classical linear, non-linear fracture mechanics concepts, including fati
