Ahmed, Naveed

Entitets autentificering er en process der verificerer en påstået identitet af en netværks bruger. Dette kan ses som et simpelt mål, men afhængig af anvendelsen indebærer dette en række behandlingsmetoder, som f.eks. om brugeren er aktiv på netværket, om brugeren er villig til at kommunikere, og om brugen er klar over at denne bliver autentificeret. Forskellige kombinationer af sådanne mål fører til implementationer af entitets autentificering med forskellige egenskaber.På en ikke autentificeret kanal kan en modstander gøre et falsk krav på en identitet gældende. Hvis dette lykkes for modstanderen, kan det åbenlyst få alvorlige konsekvenser for sikkerheden af systemet, f.eks. kan private informationer vedrørende legitime brugere blive lækket eller sikkerhedspolitiken af et betroet system kan bliver krænket. På virksomheds niveau kan sådanne svigt i autentificeringen resultere i tab af proprietær teknologi eller af kunders kredit kort oplysninger. Det kan endvidere ske at et enkelt svigt i autentificeringen kan påvirke systemet i lang tid, f.eks. hvis en modstander er i stand til at installere et ondsindet program såsom et "rootkit", en bagdør, en "key logger", en "bot" eller anden "malware". Pa grund af dette anvendes sikkerheds protokoller til at autentificere netværks brugere, der kan modstå selv en modstander med mange resourcer.Verifikation af en autentifikation protokol, for at vise at denne er sikker, er en svær opgave. De fleste rapporterede fejl i autentifikation protokoller stammer ikke fra en svaghed i de kryptografiske primitiver brugt i disse protokoller. Normalt skyldes problemet fejlagtig anvendelse af disse kryptograske primitiver og manglen af en entydig specifikation af protokol antagelser og målsætning. Derfor er det vigtigt at en autentifikation protokol er analyseret med en klar målsætning og udtrykkeligt formulerede antagelser.Der er mange forskellige formelle definitioner af autentifikation målsætning. Hvilkeaf disse definitioner der er mest hensigtsmæssig afhænger af de krav og begrænsninger der er gældende i et større system. Om en rapporteret defekt i en protokol kan udnyttes afhænger i høj grad af protokollens målsætning og det miljø hvor denne protokol anvendes. Hvorvidt en "sikker" protokol faktisk er sikker afhænger af den sikkkerheds model og det niveau af abstraktion der erbenyttet i analysen. Det er derfor værd at overveje udviklingen af en højniveaumetode, til analyse af autentifikation protokoller, som kan anvendes med forskellige niveauer af sikkerhed, autentifikation og abstraktion.I denne afhandling præsenterer vi en ny metode kaldet struktureret intuition (SI), der adresserer de problemer der er nævnt ovenfor. I SI inddeler vi entitets autentificering i finkornede egenskaber, som vi kalder FLAGs ("Fine Level Authentication Goals"). FLAGs definerer protokol uafhængige målsætninger der repræsenterer ens forventninger i et autentificering-som-en-service paradigme. Der er et enkelt sikkerhedsbegreb i vores metode, som vi kalder "canonicity". Dette begreb udtrykker en svagere form for besked autenticitet. I sammenligning med mange eksisterende analyse teknikker giver en SI baseret analyse et mere detaljeret billede af design rationalerne og entitets autentificering målsætningen af en protokolEntity authentication is a process of verifying a claimed identity of a network party. It may appear to be a simple goal, but, depending on the application and context, it entails a number of modalities, such as whether the party is currently active on the network, whether the party is willing to communicate, and whether the party knows that it has been authenticated. Combining such goals in different ways leads to different flavours of entity authentication.On an unauthenticated channel, an adversary can present a false claim of identity. Clearly, if the adversary succeeds, it may have serious consequences for the security of the system, e.g., private information of legitimate parties may be leaked or the security policy of a trusted system may be violated. At a corporate level, such a failure of authentication may result in loss of proprietary technology or customers' credit card information. Sometimes, a single failure of authentication affects the system for a long time, e.g., if an adversary is able to install a malicious program, such as a root kit, back door, key logger, bot, or other malware. Therefore, security protocols, which can resist a resourceful adversary, are used to authenticate network parties.Verification of an authentication protocol to show that it is secure is a hard problem. Most of the reported flaws in authentication protocols are not due to some weakness in the cryptographic primitives used in these protocols. The usual problems lie in improper use of cryptographic primitives, and failure to unambiguously specify protocol assumptions and goals. Therefore, it is important that an authentication protocol is analysed with clear goals and explicitly stated assumptions.There are many different formal definitions of authentication goals, and the decision of which definition is most appropriate depends on the requirements and constraints imposed by the larger system. Whether a reported flaw in a protocol is exploitable depends on the protocol goals and the environment in which the protocol is deployed. Whether a \secure" protocol is indeed secure depends on the security model and the level of abstraction used in the analysis. Thus, the goal of developing a high level methodology that can be used with different notions of security, authentication, and abstraction is worth considering.In this thesis, we propose a new methodology, called the structured intuition (SI), which addresses the issues mentioned above. In the SI, we divide entity authentication into fine grained properties, which we call FLAGs (fine level authentication goals). FLAGs are protocol independent goals and represent one's expectations in an authentication-as-a-service paradigm. There is a single notion of security in our methodology, which is called canonicity, which is a weaker form of message authenticity. As compared to many contemporary analysis techniques, an SI based analysis provides detailed results regarding the design rationales and entity authentication goals of a protocol

Online Research Database In Technology

Structured Intuition: A Methodology to Analyse Entity Authentication

http://orbit.dtu.dk/ws/files/12180490/phd276_Naveed_Ahmed.pdf

Structured Intuition: A Methodology to Analyse Entity Authentication

Abstract

Similar works

Full text

Available Versions

Online Research Database In Technology