%% You should probably cite draft-usama-tls-fatt-extension-09 instead of this revision. @techreport{usama-tls-fatt-extension-00, number = {draft-usama-tls-fatt-extension-00}, type = {Internet-Draft}, institution = {Internet Engineering Task Force}, publisher = {Internet Engineering Task Force}, note = {Work in Progress}, url = {https://datatracker.ietf.org/doc/draft-usama-tls-fatt-extension/00/}, author = {Muhammad Usama Sardar}, title = {{Extensions to TLS FATT Process}}, pagetotal = 6, year = 2025, month = jul, day = 7, abstract = {This document proposes a new "Formal Analysis Considerations" section where the authors provide a threat model, informal security goals, and a protocol diagram. This document applies only to non-trivial extensions of TLS, which require formal analysis.}, }