[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines

Introduction
Papers
Tools
WWW/FTP Sites
For Educators
ASM Community
Conferences
- ABZ 2010, Orford, Quebec, Canada
What's New

Subjects

Methodology

Books
Discussions
Historical Surveys & Bibliographies
Introductory Materials
Refinement

Applications

Abstract Algorithms
Architectures (hardware and software)
Benchmark Examples
Compiler Correctness
Databases
Distributed Systems
Hardware
Industrial Reports
Interpreters & Tools (papers only)
Java
Logic & Computability
Mechanical Verification
Models of Computation (other)
Montages
Natural Languages
Programming Languages
Protocols
Real-Time Systems
Security
Software Engineering
UML
Verification
VHDL
WAM/Logic Programming
Miscellany

ASM Studies

ASM Explorations
ASM Extensions

Security

Table of Contents

Abstract Encryption
Analysis Environment for Cryptographic Protocols
Kerberos Authentication System

[an error occurred while processing this directive]

Jim Huggins / huggins@acm.org

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/subjects/security.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT