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 123
- Downloads 0
A Survey on Nanorobotics Technology
Nanorobotics is an upcoming technology field of creating robots whose components are at or close to the microscopic scale of a nanometer. To be more precise, Nanorobotics is the nanotechnology technique of building and f...
SPEECH WATERMARKING USING DISCRETE WAVELET TRANSFORM, DISCRETE COSINE TRANSFORM AND SINGULAR VALUE DECOMPOSITION
The main goal of this paper is to embed a watermark in the speech signal, using the three techniques such as Discrete Cosine Transform (DCT) along with Singular Value Decomposition (SVD) and Discrete Wavelet Transform (D...
A Multi-hop approach for sensing coverage in wireless sensor network
Wireless sensor networks (WSNs) are recently rapidly growing research area in wireless communications. WSNs are studied widely and usefully applied in many applications like military surveillance, environmental monitorin...
A Survey on Under Water Images Enhancement Techniques
The Major causes for the underwater images are light scattering and color change. One of the methods of improving quality of the image is image enhancement. This paper presents a comparative study of various image enhanc...
INTERIOR DECORATION USING AUGMENTED REALITY WITH COLOR PERCEPTION
The hands of Augmented Reality has been widened in all the fields by using it we can able to merge the virtual world objects with the real world environment in the android platform. By using this application we can able...