Kategoria BISAC: Computers >> Security - General

Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness.

This book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro,...

This book explores the political process behind the construction of cyber-threats as one of the quintessential security threats of modern times in the US.

Myriam Dunn Cavelty posits that cyber-threats are definable by their unsubstantiated nature. Despite this, they have been propelled to the forefront of the political agenda. Using an innovative theoretical approach, this book examines how, under what conditions, by whom, for what reasons, and with what impact cyber-threats have been moved on to the political agenda. In particular, it analyses how governments have used threat...

First developed in the early 1980s by Lenstra, Lenstra, and Lovasz, the LLL algorithm was originally used to provide a polynomial-time algorithm for factoring polynomials with rational coefficients. It very quickly became an essential tool in integer linear programming problems and was later adapted for use in cryptanalysis. This book provides an introduction to the theory and applications of lattice basis reduction and the LLL algorithm. With numerous examples and suggested exercises, the text discusses various applications of lattice basis reduction to cryptography, number theory,...

To grasp the importance of emergency notification, imagine this scenario: A shooter is on the loose at a college campus. Chaos reigns. To contain the situation, campus personnel need to communicate immediately and efficiently, not only with the students, faculty, and staff, but also the local police, federal law enforcement, and media. Effective emergency notification makes things "right," it allows the right message to reach the right people at the right time--facilitating the right response. "Emergency Notification" explains how.

This book offers must-know information for business...

Now more than ever before, today s schools are hazard zones. Students are vulnerable to attack from other students and random individuals who may appear to be harmless on the surface or who may be sending out warning signals. Either way, to save their lives or protect themselves from injury, they must be prepared. Now in its second edition, Staying Safe at School is a guidebook that every parent and school administrator should make available to students. Concise and practical, this book will show teenagers how to:

• Perform a risk assessment to...

Find the answers in this ground-breaking study undertaken for the European Commission. Carried out by the Interdisciplinary Centre for law and Information...

Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness.

Jurjens presents the UML extension UMLsec for secure systems development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to...

Die Verlinkung von Computern und ihren Komponenten hat mit den Moglichkeiten der drahtlosen Kommunikation eine neue Qualitat erreicht sowohl fur private Nutzer als auch fur Organisationen. Diese Entwicklung fuhrt zu neuen Herausforderungen fur die IT- Sicherheit: dies steht im Mittelpunkt des Buches. Die gesamte Bandbreite der drahtlosen Kommunikation wird abgedeckt (WLAN, Bluetooth, Mobiltelefonie), mit detaillierten Beschreibungen der Technologie, der Standards, der Verschlusselung und Konfiguration.

Um einen Komplettcheck seiner drahtlosen Anwendungen zu gewahrleisten, benotigt...