Welcome to Deadlock’s documentation!

Project Deadlock is a system that controls access to a number of points of access (e.g. doors, appliances) using RFID cards. Deadlock is designed for security and reliability, assuming untrusted and unreliable network. Unlike existing commercial solutions, Deadlock is fully open-source and open-hardware, and designed to be flexible, maintainable, scalable, and cost-effective. We provide tools and expose all interfaces and components, making Deadlock easy to integrate with existing systems and customize to the needs of the user.

Table of contents

• Introduction
  • Project Deadlock: RFID Physical Access Control System
  • Under development
• Requirements specification
  • Trustworthiness
  • Practicality
  • Further considerations
• System overview
  • Key design principles
  • Main components
  • Access rules
• Access rules
  • Generality vs. convenience
  • Internal rules format
  • Quick access querying: “in expression” relation
  • Local evaluation on embedded devices
  • Integration with existing systems
• Developer Intro
  • Per-subproject considerations
  • Repositories
• Rationale
  • Design of modular protocol stack for Desfire cards
• Server/controller communication protocol
  • Design requirements
  • Protocol design
  • Network stack
  • Message types, controller behavior {#protocol:messages}
  • Packet format
  • Security {#protocol:security}
• The Deadlock server
  • deadapi – the HTTP API for the outside world
• Controller
• Reader
• Deadlock front-ends: Web management console, CLI, data importers
  • webui – the Deadlock web interface