Modules
The security envelope of the RSFN, the network of the Brazilian Financial System, as defined in chapter 5 of the Manual de Segurança do SFN published by Banco Central do Brasil. Section numbers such as §5.5.3 refer to that manual (version 5.07; Volume I of version 6.00 keeps the same chapter 5).
An X.509 certificate as seen by the protocol: its serial number (C11/C13), its certification authority code (C10/C12) and its RSA public key.
A protocol error, as defined by the security error table of the Manual de Segurança do SFN (§5.5.1).
The 588-byte security header (Manual de Segurança do SFN §5.1, Table 1).
Your own certificate and its RSA private key.
The result of Sinetex.open/2.
Certificate serial numbers as written in fields C11 and C13 (Manual de Segurança do SFN §5.1.4, §5.2.6).