Home

Welcome to the COMPSEC-HW-GROTESQUE-GECKO wiki, which contains the documentation of the Computer Security homework of team Grotesque Gecko (fall of 2020)!

Members

• Ágnes Zsakó
• Barnabás Miklós Futó
• Krisztián Sárváry
• Mihály Dobos-Kovács

Phases

Note: The links in this section point to the submitted versions of the documents, not the latest revisions. To access the latest revisions, use the sidebar, or the documents section below.

• Phase 1: Specification and Design (October 18., 2020) [commit: 7bb27f335e3e19f2fd61251e5b1292fcbe4bf773]

Documents

• Requirements
  • Functional Requirements and Use Cases
  • Security Requirements and Objectives
  • Threat Assessment
  • Quality Gates
• Design
  • Chosen Technologies
  • Required Security Functionalities
  • Structural Model of the System
  • Behavioral Model of the System
• Implementation
  • Secure Coding Standards and Checking Compliance
  • Static Analysis
  • Enforcing Code Quality and Security
• Testing
  • Testing Tools
  • Testing Plan