ATTACKS ON SECURITY PROTOCOLS USING AVISPA
Journal Title: International Journal of Computer Science & Engineering Technology - Year 2014, Vol 5, Issue 5
Abstract
Now a days, Use of Internet is increased day by day. Both Technical and non technical people use the Internet very frequently but only technical user can understand the aspects working behind Internet. There are different types of protocols working behind various parameters of Internet such as security, accessibility, availability etc. Among all these parameters, Security is the most important for each and every internet user. There are many security protocols are developed in networking and also there are many tools for verifying these types of protocols. All these protocols should be analyzed through the verification tool. AVISPA is a protocol analysis tool for automated validation of Internet security protocol and applications. In this paper, we will discuss about Avispa library which describes the security properties, their classification, the attack found and the actual HLPSL specification of security protocols.
Authors and Affiliations
Vaishakhi S , Prof. Radhika M
Keywords
Related Articles
- EP ID EP99738
- DOI -
- Views 121
- Downloads 0
A Study on Application of Artificial Neural Network and Genetic Algorithm in Pattern Recognition
Image processing is an emerging field and lots of research had been performed for the past few years. Image processing has various techniques which are image segmentation, enhancement, feature extraction, classification,...
A REVIEW ON CONGESTION CONTROL ALGORITHMS IN MANET
In wireless network communication mobile communication has becomes very significant. MANET is a temporary network that means nodes transfer without any fixed infrastructure. In MANET changes the network topologies due to...
Smart Green House Automation
Smart Green House Automation is a complete system to monitor and control the environment parameters inside a green house .It is necessary to design a control system to monitor various parameters like Temperature, Humidit...
Multi Banking Transaction Interface Using MVC2 Architecture
BANKING SYSTEM PLAYS AN IMPORTANT ROLE IN EVERYONE’S LIFE. WITH THE GROWTH OF THE INTERNET WORLDWIDE THE WORLD HAS COME CLOSER AND CLOSER. SO, BANKS ARE ALSO PROVIDING NET BANKING WHICH PLAYS AN IMPORTANT ROLE IN ONE’S L...
A Novel Approach for Web Document Classification
The web is a huge repository of information and there is a need for categorizing web documents to facilitate the search and retrieval of documents. Web document classification plays an important role in information organ...