↓ Skip to main content
Background Image

Bibliography

·2 mins·
Table of Contents

This page contains references and sources for more information on rigorous digital engineering and End-to-end verifiable voting.

Voting and cryptography
#

  1. A Graduate Course in Applied Cryptography
  2. Digital Identity Guidelines
  3. Formally Counting Electronic Votes (But Still Only Trusting Paper)
  4. Can Voters Detect Malicious Manipulation of Ballot Marking Devices?
  5. The KOA Remote Voting System: A Summary of Work to Date

Security engineering and threat modeling
#

  1. Zero Trust Architecture
  2. MITRE ATT&CK
  3. Threat Modeling: Uncover Security Design Flaws Using the STRIDE Approach (MSDN Magazine, Nov. 2006)
  4. Attack Trees
  5. Shifting the Balance of Cybersecurity Risk: Principles and Approaches for Secure by Design Software
  6. The Case for Memory Safe Roadmaps

Policy, strategy, and adoption
#

  1. National Cybersecurity Strategy
  2. National Cybersecurity Implementation Plan
  3. Back to the Building Blocks: A Path Toward Secure and Measurable Software
  4. Closing the Software Understanding Gap
  5. Digital Engineering Capability to Automated Testing and Evaluation
  6. DoD Digital Engineering Strategy Memo (July 2018)
  7. The Cost of Unsafe Technology and What We Can Do About It
  8. Free & Fair

Modeling, requirements, and architecture
#

  1. OMG Systems Modeling Language (version 1.6)
  2. Guide to the Systems Engineering Body of Knowledge (SEBoK)
  3. IEEE/ISO/IEC 29148-2011 (Requirements Engineering)
  4. IEEE 830-1998: Recommended Practice for Software Requirements Specifications
  5. The Architecture Analysis & Design Language (AADL): An Introduction
  6. DODAF v2.02: DoD Architecture Framework
  7. ISO/IEC 26580: Feature-based Product Line Engineering (overview PDF)
  8. INCOSE Product Line Engineering (PLE) Primer

Software engineering, formal methods, and verification
#

  1. Formal Methods in Industry
  2. Formal methods: Practice and experience
  3. Really Rethinking “Formal Methods”
  4. Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK
  5. Assurance 2.0: A Manifesto
  6. Property-based testing: a new approach to testing for assurance
  7. Secure Software Development Framework (SSDF)
  8. Continuous Integration (ThoughtWorks overview)
  9. Object-Oriented Software Construction
  10. Design Patterns: Elements of Reusable Object-Oriented Software

Back to: Main Article

Reply by Email