Tolkachova, A.; Zhuravchak, D. Automate the Verification of Session Cookie Attributes. ITS 2024, 12, 68-79.