Abstrakt. Vi presenterar en decentraliserad nyckelhanteringsarkitektur för trådlösa sensornätverk, som omfattar aspekter av viktig distribution, viktig förfriskning och viktig etablering. Vår arkitektur bygger på en tydlig uppsättning antaganden och riktlinjer. Balans mellan säkerhet och energiförbrukning uppnås genom att dela upp ett system i två driftskompatibla säkerhetsvärldar: den övervakade sfären avlöser enkelhet och resurser för högre säkerhet medan den oövervakade världen vice versa. Nyckelutplaceringen använder minimal nyckellagring medan nyckelförfriskning baseras på Abdalla et als välstuderade system. Nyckelprotokollen som ingår använder endast symmetrisk kryptografi och har alla verifierats med vårt begränsningslösningsbaserade protokollverifieringsverktyg CoProVe.
I REF utformades en decentraliserad nyckelhanteringsarkitektur för WSN.
A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks
{'venue': 'Personal Wireless Communications (PWC 2003), Sep 2003. Lecture Notes of Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}