Triple

T32550410
Position Surface form Disambiguated ID Type / Status
Subject SIGMA key exchange protocol E831957 entity
Predicate hasSecurityModel P16014 FINISHED
Object provable security in the Bellare–Rogaway style model LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69f34925fd08819084cfe4ec566cb704 elicitation completed
NER batch_69f6c5c70200819080339dcbe1a4088d ner completed
Created at: May 1, 2026, 1:02 a.m.