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 88
- Downloads 0
GUARANTEED COVERAGE PARTICLE SWARM OPTIMIZATION USING NEIGHBORHOOD TOPOLOGIES
The key behind the research represent in this paper is to understand the behavior of the particle swarm algorithm. This study proposes guaranteed convergence Particle Swarm Optimizer (GCPSO) with various topologies. The...
A Mathematical Study of Fuzzy Logic Techniques in Software Engineering Measurements
Estimation models in software engineering are used to predict some important attributes of future entities such as software development effort, software reliability and programmer productivity. Estimation by fuzzy logic...
A Survey on Resource Allocation Strategies in Cloud
The cloud computing is an emerging technology in the era of Internet. It is advancement to grid computing. Basically cloud computing is combination of distributed, parallel and grid computing. The cloud is a shared pool...
Privacy Preserving Data Mining in Electronic Health Record using Kanonymity and Decision Tree
In this paper, we present an accurate and efficient privacy preserving data mining technique in Electronic Health Record (EHR) by using k –anonymity and decision tree C4.5 that is useful to generate pattern for medical r...
A NOVEL APPROACH FOR COMMUNITY DISCOVERY IN DYNAMIC NETWORKS
Recently, discovering aggressive communities has become an increasingly critical task. Many conclusion have been expected, most of which only use correlation structure. However, rich information is cipher in the content...