NDLI: Modeling and verification of Extensible Authentication Protocol for Transport layer Security in Wireless LAN environment

Please wait, while we are loading the content...

2010 2nd International Conference on Software Technology and Engineering

Volume 2 - 2010

Including security mechanisms into systems architecture supporting vulnerabilities

Roadmap for the implementation of an enterprise architecture framework oriented to institutions of higher education in Ecuador

Architecture of a Question-Answering System for a specific repository of documents

Using “Natural Language Processing” in the design of a multilingual architecture for representation of language

Controlling and evaluating of IEEE 802.16 WiMAX standard

A novel algorithm for extraction of the scripts part in traditional Chinese painting images

Empirical analysis of Ethical issues in the era of future information technology

Use processes — modeling requirements based on elements of BPMN and UML Use Case Diagrams

Modeling and verification of Extensible Authentication Protocol for Transport layer Security in Wireless LAN environment

Metrics calculation for deployment process

A SVM multi-classification method based on fuzzy weighted SVDD

A decision model for estimating the effort of software projects using Bayesian theory

How multiple-dependency structure of classes affects their functions a statistical perspective

Combing Haar and MBLBP features for face detection using multi-exit asymmetric boosting

Software trustworthy measurements based on the structures of programming languages

Online information filtering using user profile ART1 classifier and genetic algorithm

Catalogue personolization using distributed learning automata and Markov chain probability model

GQSD: The new algorithm for optimizing the quality of service heterogeneous possessing sources at distributed systems

ERPAC : A novel framework for integrated distributed systems using data mining mechanisms

The effect of geographical region on the duration of CMMI-based software process improvement initiatives: An empirical study

Research on double plies encryption algorithm based on time lapse

A kind of Ad hoc network stable routing protocol of emergency communication environment

A more comprehensive activity analysis of standard online social networking functionalities

Designing flexible business information system for modern-day business requirement changes

Analysis of discrete event generation model on result of network simulation

Authentication and lightweight cryptography in low cost RFID

Comparison of security issues in wireless networks

Invariance analysis and application of the zoomed-and-shrunk image singular value vector

A new method of image enhancement

A heuristic algorithm for optimizing page selection instructions

Software fault detection for reliability using recurrent neural network modeling

Communication delay analysis based on network calculus

A novel anchor-free position algorithm based on cluster technique

Instance-based ensemble learning algorithm with stacking framework

Design and development of a reconfigurable virtual platform for real time kernel

Semantic representation of WHO-questions on IndriBasedQA system

Pellet reasoner based evaluation of OVL (Ontology for Vietnamese Language)

Fractal image compression based on spatial correlation and hybrid particle swarm optimization with genetic algorithm

Prediction of energy consumption volume based on extension cluster model

How to discover a semantic Web service by knowing its functionality parameters

New tabu search heuristic in scheduling earth observation satellites

Demonstrating the usage of GCL software for quatity take-off of building in a virtual high-rise building case

Criminal investigation DSS based on extended intuition analysis

On modeling and formally verifying secure explicit on-demand ad hoc routing protocols

Mathematical modeling for corner saliency

Predicting breast cancer survivability using data mining techniques

Application of an adaptive neural-fuzzy system to establish a relationship among nonlinear phenomena in meteorology to obtain monthly rainfall

XML-based information security technology study

Flux observer for field oriented induction motors based on EKF

Application of LN2117 series chips in White LED driver

Design and Implementation of Remote Meter Reading System

An optimized approach to generate object oriented software test case by Colored Petri Net

Usability Heuristics as an assessment parameter: For performing Usability Testing

Energy efficient/highly secure data aggregation method using tree-structured orthogonal codes for Wireless Sensor Networks

A two-phase evolutionary algorithm for the university course timetabling problem

A Single-Network ANN-based Oracle to verify logical software modules

Designing SOA based e-governance system using eXtreme Programming methodology for developing countries

Design of member information management system of one bookstore based on JSP

A hybrid metaheuristic method to minimize cost on non-identical parallel machines

The threats and some solutions faced by modern operating systems

Distance learning for categorical attribute based on context information

Formal analysis of departure procedure of air traffic control system

Head pose estimation using fuzzy approximator augmented by redundant membership functions

$SP^{2}A:$ A basket-trading-oriented securities matching set automatic partition approach for parallel trading system

A framework for integrating web services and multi-agent systems

Towards an integrated quality-oriented modeling approach for software evolution control

Hybrid face detection with HSV Color method and HAAR classifier

Towards a semantic web based approach for feature interaction detection

Study and application of military software pricing based on option pricing

Research and practice of agile Unified Process

A new approach on 2D Yazdibandi in Islamic geometry

Improving the K-means algorithm using improved downhill simplex search

A secure strong password authentication protocol

A lighting control demo based on polypropylene ferroelectret films

Association rule mining algorithm study and improvement

Verification & Validation of components with new X Component-Based Model

Application of processing techniques from color image to grey image

Application of web data mining and data warehouse in e-commerce

Study of computer room management system based on C/S structure

Performance enhancement of software process models

Dynamic load balancing based on CPU utilization and data locality in distributed database using priority policy

Model of chemistry molecule structure using L-system

The research and implementation of automatic unit test recording framework

Study of data ming based on Apriori algorithm

Numerical investigate of base doping for minimum base transit time

New ideas for Web service discovery-ontology-based prototype system of service search engine

A hierarchical and factored POMDP based automated intrusion response framework

Volume 1 - 2010

Modeling and verification of Extensible Authentication Protocol for Transport layer Security in Wireless LAN environment

Content Provider	IEEE Xplore Digital Library
Author	Ali, H.B. Karim, M.R. Ashraf, M. Powers, D.M.W.
Copyright Year	2010
Description	Author affiliation: Dept of CSE, University of Dhaka, Bangladesh (Karim, M.R.) \|\| School of EES, University of Adelaide, Australia (Ashraf, M.) \|\| School of CSEM, Flinders University, Australia (Ali, H.B.; Powers, D.M.W.)
Abstract	Today complex edge services are positioned on the Wireless LAN, different cryptographic protocols with complex as well as reactive communication models and event dependencies are increasingly being specified and adopted. To ensure that such protocols (and compositions thereof with existing protocols) do not result in unacceptable behaviors (e.g., deadlocks or live locks); a methodology is desirable for the automated checking of the “correctness” of these protocols. In this paper, we present ingredients of such a methodology. Specifically, we show how SPIN, a tool used for the formal systems verification purposes, can be used to verify as well as quickly identify problematic behaviors (if any) in core component of emergent Wireless LAN with non trivial communication authentication constructs — such as Extensible Authentication Protocol (EAP) for Transport layer Security (TLS). In our analysis, we identify essential elements, model and verify the EAP — TLS protocol using SPIN. It will evidently provide an insight into the scope and utility of formal methods based on state space exploration in testing larger and complex systems, for example, the complete Wireless LAN authentication suit.
File Size	712292
File Format	PDF
ISBN	9781424486670
e-ISBN	9781424486663
DOI	10.1109/ICSTE.2010.5608759
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-10-03
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Wireless LAN Protocols Authentication Protocol Engineering Software Encryption Wireless LAN security Servers EAP—TLS Communication protocols modeling & verification
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in