Contact Us
Sign In / Sign Up for FREE
Go to advanced search...

BAN - A Logic of Authentication - Essay Example

Comments (0) Cite this document
This report is submitted as part requirement for the module COMPGA11 Research in Information Security at University College London. It is substantially the result of my own work except where explicitly indicated in the text. The report may be freely copied and distributed provided the source is explicitly acknowledged…
Download full paperFile format: .doc, available for editing
GRAB THE BEST PAPER94.7% of users find it useful
BAN - A Logic of Authentication
Read TextPreview

Extract of sample "BAN - A Logic of Authentication"

Download file to see previous pages As a result, Borrows, Abadi and Needham formulated a logic of belief and action, to address these errors. The logic allows people to formally describe the beliefs of trustworthy parties involved in these authentication protocols, thus uncovering subtleties, redundancies and flaws through an analysis of the protocols’ syntax and semantics. Borrows, Abadi and Needham take four published protocols into account, in order to show how they illustrate the appropriateness of this logical method of analysis. But how sound is the logic that they are proposing? How far can a vague and ambiguous logic take us? This paper aims to introduce the famous BAN (Borrows, Abadi and Needham) logic and it’s use on one of the published protocols (i.e. Kerberos), to discuss the logic’s success, its successors, and to review the critiques made on the logic. This paper is based on the article ”A Logic of Authentication” published in 1989 by the authors Michael Burrows, Martin Abadi and Roger Needham, University of Cambridge. The paper was nominated for publication in TOCS by the Program Committee for the ACM SIGOPS Symposium on Operating Systems Principles, December 1989. The three authors completed part of this work at Digital Equipment Corporation and part at the University of Cambridge. 2 Chapter 2 Introduction In this chapter a brief introduction to the basic principles of the BAN logic is discussed as well as a short section about security protocols. 2.1 An Introduction to Borrows, Abadi, Need- ham (BAN) Logic The BAN Logic is named after Borrows, Abadi and Needham. The logic is, as they stated, a logic of belief and action. It contains no logical inversions; therefore it cannot be used to prove that a protocol is flawed. But when proof, that a protocol is correct, cannot be obtained, that protocol deserves to be treated with suspicion [?]. In other words BAN logic does not aim to prove the security of a protocol; it can only catch certain kinds of subtle errors, help us to reason about the protocol, and help us identify and formalize our assumptions and analysis. Details of the BAN logic such as the idealization of protocol transactions, along with the various inference rules, will be discussed on the later sections. The authors of ”A Logic of Authentication” introduce the BAN logic to protocol designers whom they believe are inappropriately copying available techniques; thus coming up with protocols containing many security flows. The authors explain the basic notation of the logic and five rules that are applied to analyze protocols. Afterwards, they move on to actually idealize different existing protocols to conclude that such a simple logic can capture subtle differences between protocols. If there is one thing that the authors forgot to mention, that would be the basic definitions of frequently used terms. So in this paper I will try my best to define those terms. 3 CHAPTER 2. INTRODUCTION 4 2.1.1 Security Protocols A security protocol usually uses cryptography to distribute messages, authenticate the communicating parties and protects data over an insecure network. It can be defined as a set of transactions or traces. Each transaction consists of a series of communication events, some of which are perhaps interleaved protocol runs. Every desirable ...Download file to see next pagesRead More
Cite this document
  • APA
  • MLA
(“BAN - A Logic of Authentication Essay Example | Topics and Well Written Essays - 2250 words”, n.d.)
Retrieved from
(BAN - A Logic of Authentication Essay Example | Topics and Well Written Essays - 2250 Words)
“BAN - A Logic of Authentication Essay Example | Topics and Well Written Essays - 2250 Words”, n.d.
  • Cited: 0 times
Comments (0)
Click to create a comment or rate a document

CHECK THESE SAMPLES OF BAN - A Logic of Authentication

The Rates at Which Kids Give Scientifically Based Replies with Inner Logic to Issues Formulated in Open-Ended and Forced-Choice Formats

...ABSTRACT This study was designed to determine the rates at which children present scientifically grounded responses with internal logic to questions posed in both open-ended and forced choice formats. It included 161 children participants recruited from Australia and Singapore and that were clustered in two age groups; 5 to 6 years and 8 to 9 years. The questions were presented individually to these participants by members of a university psychology class and the responses were classified using a simplified scheme wherein a child that answered all questions correctly was considered to have a scientifically consistent model of the earth. Incorrect responses were classified as the participant having a non-scientific model. The results...
7 Pages(1750 words)Research Paper

Fuzzy Logic

... 14 December 2009 Fuzzy Logic Fuzzy logic and Fuzzy logic based machines are the future of the Artificial Intelligence. This paradigm of the AI offers greater capability to get things done in a more powerful way. By adding the fuzzy logic based capabilities and analysis we can have better control over management and technical capabilities as well as we would be able to perform things that machines and humans are nor able to otherwise do. Fuzzy logic based capabilities are utilized in system analysis, control and design, since it cuts down the time intended for engineering development in the case of enormously complicated systems, is the simply means to resolve the issue. This research will present deep analysis of the fuzzy logic and its...
8 Pages(2000 words)Case Study

Biometrics Authentication in E-exams

...Biometrics Authentication in E-exams 1. Abstract E-learning is a great opportunity for the modern man. It needs to be coupled with efficient and reliable security mechanisms so that this medium can be established as a dependable one. Authentication of e-exam takers is of prime importance so that exams are given by fair means. A new approach shall be proposed to ensure that no unauthorized individuals are allowed to give the exams. 2. Overview With the advent of computer technology; our lives have changed and given them a new dimension. World Wide Web is also one of the inventions of the computer technology that has changed the mode of communication and information for humans. A new concept that has emerged from the World Wide...
8 Pages(2000 words)Assignment

The Logic of Rene Descartes

...The Logic of Descartes Rene Descartes was a French philosopher, mathematician and scientist who lived between 1596 and 1650. His writings mark the dividing line between the empiricist school of thought and the rationalist school of thought. “Before his time, philosophy had been dominated by the method of Scholasticism, which was entirely based on comparing and contrasting the views of recognized authorities” (Vincent 2003). A great deal of this earlier thought was based on information gleaned from the senses. Descartes felt the only way to obtain true knowledge was to rely solely upon human reason while ignoring the senses. Descartes wrote several books regarding the nature of existence and knowledge, providing us with plenty...
10 Pages(2500 words)Coursework

Opposition to Total Gun Ban

...Opposition to Total Gun Ban Teacher               Opposition to Total Gun Ban Recently in the news, the U. S. government seems to be having a debate on whether guns should be carried in public or not. Currently, I know that so many gun advocates as well as human rights activists are fighting against the ban on carrying guns in school campuses. On the other hand, there are may who are also fighting for the prohibition of guns in school campuses. What is common knowledge to these people and to the majority of the population is that guns are dangerous and carrying them entails risks. However, a detailed analysis of the articles featured in this paper conclude that total gun ban in school campuses in America is not the solution to the gun...
12 Pages(3000 words)Essay

The Smoke Ban Policies

Ozarks technical college became amongst the first to see the smoke free policy implementation in 2003, and in accordance with a certain analyst, who assisted in drafting the initiative in this school, there was light feedback from the learners. The policy is easily implemented by not forcing the learners to quit the tendency. For one to be successful in implementing this kind of initiative there should be minimal opposition. The smoking prevalence decreased to 18.9% up from 24.4%in adults with the age of 18-24 from the year 2005 to the year 2011, in accordance with a research Centre (CDC). The age group is now among the ones with the lowest prevalence in smoking of age below 65. It was 6 years back; the group was highest in the sm...
6 Pages(1500 words)Term Paper

The Move by America University to Ban Smoking

Smoking is associated to harm secondary smokers than real smokers and this is the reason many nations including America have implemented bans on smoking as a move to protect non-smokers from the associated harms from smokers and also reduce the prevalence of smoking (John, pg35). This has greatly contributed to controlling public smoking. The smoking prevalence decreased to 18.9% up from 24.4% in adults with the age of 18-24 from the year 2005 to the year 2011, in accordance with a research Centre (CDC). The age group is now among the ones with the lowest prevalence in smoking of age below 65. It was six years back; the group was highest in the smoking number. In America, apart from burning smoking in some public places, the moves...
6 Pages(1500 words)Case Study

Debating the New York City Ban on Over Large Sodas

...Debating the New York Ban on Over Large Sodas Former New York mayor Michael Bloomberg envisioned implementing a total ban of sodas being served to people Nobody would have been allowed to purchase a soda larger than 16 ounces in size. Health advocates applauded the ban and noted that it would be beneficial to the adults and school children of the city as their daily sugar intake portions could now be better controlled. The problem with the ban, that is continously supported by newly installed New York Mayor Bill de Blasio, is that the law did not take into consideration the financial impact that such a ban would have on the soft drink industry in the city. The law, in the opinion of the others who oppose it, also over stepped the limits...
13 Pages(3250 words)Case Study

The Logic of Political Survival: Dictatorship

Dictatorship practiced in the parts of the world is more destructive than it is constructive. More disadvantages are associated with it than advantages.
Democracy, on the other hand, allows people to choose a leader they admire. However, questions always arise on whether people choose who they want or simply whether the vote is manipulated by popular politicians or by corruption. Democracy has been tainted with some elected leaders who end up wanting to remain in power even after their time is over. The question arises whether it is democracy in totality or dictatorship under the veil of democracy. Some citizens have been threatened with death if they do not vote for a particular leader that beats the essence of democracy. A...
6 Pages(1500 words)Assignment

Plastic Bag Ban

... Plastic Bag Ban The debate about the effectiveness of plastic bag bans to achieve desired goals has been ongoing over the years. Plastic bag bans aim to reduce the pollutant effects, which is attributable to their production and litter. The bans encourage the use of reusable shopping bags. However, they have a negative economic effect on the plastics industry, retailers, and consumers. The use of plastic bags has been popular since their emergence in the 1940s. Currently, their production is about 260 million tons of plastics every year. Recyclable high-density polyethylene bags used once are currently the most popular bags for retailers and consumer. They are referred to as Single‐Use Plastic Bags and are provided at checkout point...
6 Pages(1500 words)Essay
sponsored ads
We use cookies to create the best experience for you. Keep on browsing if you are OK with that, or find out how to manage cookies.

Let us find you another Essay on topic BAN - A Logic of Authentication for FREE!

Contact Us