When Roger Needham and Michael Schroeder first introduced a seemingly secure protocol [24], it took over 18 years to discover that even with the most secure encryption, the conversations using this protocol were still subject to penetration. To date, there is still no one protocol that is accepted for universal use. Because of this, analysis of the protocol outside the encryption is becoming more important. Recent work by Joshua Guttman and others [9] have identified several properties that good protocols often exhibit. Termed "Authentication Tests", these properties have been very useful in examining protocols. The purpose of this research is to automate these tests and thus help expedite the analysis of both existing and future protocols. The success of this research is shown through rapid analysis of numerous protocols for the existence of authentication tests. The result of this is that an analyst is now able to ascertain in near real-time whether or not a proposed protocol is of a sound design or whether an existing protocol may contain previously unknown weaknesses. The other achievement of this research is the generality of the input process involved. Although there exist other protocol analyzers, their use is limited primarily due to their complexity of use. With the tool generated here, an analyst needs only to enter their protocol into a standard text file; and almost immediately, the analyzer determines the existence of the authentication tests.
When Roger Needham and Michael Schroeder first introduced a seemingly secure protocol [24], it took over 18 years to discover that even with the most secure encryption, the conversations using this protocol were still subject to penetration. To date, there is still no one protocol that is accepted for universal use. Because of this, analysis of the protocol outside the encryption is becoming more important. Recent work by Joshua Guttman and others [9] have identified several properties that good protocols often exhibit. Termed "Authentication Tests", these properties have been very useful in examining protocols. The purpose of this research is to automate these tests and thus help expedite the analysis of both existing and future protocols. The success of this research is shown through rapid analysis of numerous protocols for the existence of authentication tests. The result of this is that an analyst is now able to ascertain in near real-time whether or not a proposed protocol is of a sound design or whether an existing protocol may contain previously unknown weaknesses. The other achievement of this research is the generality of the input process involved. Although there exist other protocol analyzers, their use is limited primarily due to their complexity of use. With the tool generated here, an analyst needs only to enter their protocol into a standard text file; and almost immediately, the analyzer determines the existence of the authentication tests.
Once again we bring you the proceedings of the International Workshop on Security Protocols. It seems hard to believe that we have reached the tenth event in this annual series. This year our theme...
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation...
Get to grips with network-based attacks and learn to defend your organization's network and network devicesKey Features:Exploit vulnerabilities and use custom modules and scripts to crack...
Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,
Shop Trending Books and New Releases
Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.
Shop Best Books By Collection
Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.
Buy Educational Books and Textbooks Online at BookLoop
Shop School Textbooks for Primary, Secondary, and Higher Education
At BookLoop, we make it easy to buy school textbooks online in Australia for every stage of learning. Our extensive
textbook collection includes curriculum-aligned primary school books,
secondary school books, and resources for TAFE courses, vocational training, and university studies.
Each title is selected for accuracy, quality, and alignment with the Australian Curriculum, supporting teachers, students, and schools across the country. Whether you’re preparing for exams, classroom learning, or distance education, BookLoop’s range of educational books ensures your students have the right materials to succeed.
Teacher Resources, Classroom Tools and Professional Learning
Empower your teaching with teacher resources and classroom support materials from BookLoop.
Our collection includes lesson planning guides, literacy and numeracy workbooks, STEM education resources, and assessment tools that help educators deliver engaging, effective learning experiences.
We also stock a wide selection of preschool and early years education books tailored to early childhood development, classroom management, and student wellbeing.
Teachers can access everything from professional development books to interactive classroom activities — all carefully curated to enhance teaching outcomes and student success.
Educational Books and Learning Resources for Every Subject
Find educational books for students across a variety of subjects including English, Mathematics, Science, History, Geography, and the Arts.
BookLoop partners with trusted Australian publishers to provide up-to-date resources that meet classroom requirements and support independent learning.
Whether you’re a school administrator sourcing bulk textbook orders, a parent preparing for the new term, or a teacher updating your classroom library, BookLoop is your one-stop online bookstore for all education and teaching materials.
Sign In
your cart
Your cart is empty
Menu
Search
PRE-SALES
If you have any questions before making a purchase chat with our online operators to get more information.
