Secure Communicating Systems: Design, Analysis, and Implementation

Secure Communicating Systems: Design, Analysis, and Implementation, 9780521807319 (052180731X), Cambridge University Press, 2001

This volume details what every computer scientist ought to know about cryptographic systems, security protocols, and secure information flow in programs. Highlights include discussions of the new advanced encryption standard "Rijndael"; an optimal public-key encryption using RSA which turns "textbook RSA" into a practical implementation; standard security models for information flow in computer programs or human organizations; and moral, legal, and political issues. Another novel feature is the presentation of a formal model-checking tool for specifying and debugging security protocols. A supporting web site http://www.cis.ksu.edu/~huth/scs contains Java source code for the programs featured plus links to other sites.

"The book can be a good text book at undergraduate level, and graduate level. It has a large number of exercises at the end of sections, and many subsections. This makes the textbook useful for the students...The book is well written to be suitable for self study. The researchers and professionals in the area of security may find the book useful as a reference."
SIGACT News

Comments

Amazing Books

ActionScript Cookbook

O'Reilly, 2003

ActionScript's sheer volume of capabilities can be daunting. The ActionScript Cookbook breaks it all down into tasks that are relevant, practical, and insightful. On top of hundreds of atomic recipes, it offers seven full chapters of larger sample applications. Appealing to all levels of ActionScript coders, this...

Build Gamified Websites with PHP and jQuery

Packt Publishing, 2013

Using gaming principles to make learning more engaging, motivating, and interactive is a growing trend in web development. It's called gamification, and this book is the complete introduction to its theory and practice.

Overview

Build your own Gamified website

Use game mechanics to...

Visualizing Data

O'Reilly, 2008

Enormous quantities of data go unused or underused today, simply because people can't visualize the quantities and relationships in it. Using a downloadable programming environment developed by the author, Visualizing Data demonstrates methods for representing data accurately on the Web and elsewhere, complete with user interaction, animation, and...

Economics: Principles and Applications

South-Western College, 2007

Because issues of policy and real applications are critical to the principles of economics course, acclaimed economists Hall and Lieberman have made the latest edition of their cutting-edge text as current as today's headlines, giving students a real-world, up-to-the-minute overview that presents economics as a unified discipline. Taking...

Introduction to Fluorescence Sensing

Springer, 2008

Fluorescence sensing is a rapidly developing field of research and technology. Its target is nearly the whole world of natural and synthetic compounds being detected in different media including living bodies. The application area range from control of industrial processes to environment monitoring and clinical diagnostics. Among different...

Pro PHP Refactoring

Apress, 2010

Many businesses and organizations depend on older high-value PHP software that risks abandonment because it is impossible to maintain. The reasons for this may be that the software is not well designed; there is only one developer (the one who created the system) who can develop it because he didn’t use common design patterns and...