The classifier judged this item not relevant to AI security, so it is left out of lists, feeds, the API and dataset releases. If that is wrong, report a correction on this page.
InfoResearchPeer-reviewed
From automata learning to model checking: Formal security verification of black-box protocols
- Published
- Record updated