I detta dokument presenterar vi två förlängningar av strandrymdsmetoden till modell Kerberos V. För det första inkluderar vi tids- och tidsstämpelr till modellsäkerhetsprotokoll med tidsstämpelr: vi relaterar en nyckel till en spricktid och kombinerar den med tidsstämpelr för att definiera en uppfattning om recency. Därför kan vi kontrollera reprisattacker inom detta nya ramverk. För det andra utvidgar vi den klassiska rymdteorin till modellprotokollblandning. Huvudidén är att införa ett nytt samband a för att modellera orsakssambandet mellan en primär protokollsession och en av dess efterföljande sekundära protokollsession. Följaktligen utvidgar vi också definitionen av oönskat autentiseringstest.
I ett annat relaterat arbete utvidgade Li REF och Pand strandrymdsmetoden till att omfatta tid och tidsstämplar för att modellera begreppet recency i Kerberos-protokollet.
Extending the Strand Space Method with Timestamps: Part I the Theory
{'venue': 'J. Information Security', 'journal': 'J. Information Security', 'mag_field_of_study': ['Computer Science']}