Desculpe por responder minha própria pergunta, mas como normalmente acontece, você gasta muito tempo tentando descobrir algo e quando finalmente pergunta a outra pessoa, esse é o ponto em que você mesmo encontra a resposta.
O RFC original para cookies é 2109, que foi substituído pelo 2965, que por sua vez foi substituído pelo RFC6265. RFC6265 fala sobre sessões e identificadores de sessão.