Modeling and quantitative evaluation of an internet voting system based on dependable web services

Omidi, Amir; Moradi, Saeed

doi:10.1109/iccce.2012.6271332

Cited by 8 publications

(8 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…PNs have also been used to ensure the security/safety aspects of networks in terms of reliability and availability by analyzing the safety/security aspects of network protocols, such as internet voting systems [26] and high-speed trains [27]. In addition to the communication network, PNs have been used to develop the RBDs to analyze the reliability of a logistic supply chain [28] and redundant electrical generator used to power-up the coast guard vessel [29].…”

Section: Petri Netsmentioning

confidence: 99%

Formal Dependability Modeling and Analysis: A Survey

Ahmad

Hasan

Tahar³

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, confidentiality, and integrity. Various dependability modeling techniques have been developed to effectively capture the failure characteristics of systems over time. Traditionally, dependability models are analyzed using paper-and-pencil proof methods and computer based simulation tools but their results cannot be trusted due to their inherent inaccuracy limitations. The recent developments in probabilistic analysis support using formal methods have enabled the possibility of accurate and rigorous dependability analysis. Thus, the usage of formal methods for dependability analysis is widely advocated for safety-critical domains, such as transportation, aerospace and health. Given the complementary strengths of mainstream formal methods, like theorem proving and model checking, and the variety of dependability models judging the most suitable formal technique for a given dependability model is not a straightforward task. In this paper, we present a comprehensive review of existing formal dependability analysis techniques along with their pros and cons for handling a particular dependability model.

show abstract

Section: Petri Netsmentioning

confidence: 99%

Formal Dependability Modeling and Analysis: A Survey

Ahmad

Hasan

Tahar³

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…For example, the reliability analysis of WSNs that work on sleep/wake policies has been done by capturing the dynamic behavior of the sensor nodes by a DRBD model, which is transformed into Petri Nets for easy analysis. Petri Nets have also been used to ensure the security/safety aspects of networks in terms of reliability and availability by analyzing the safety/security aspects of network protocols, such as internet voting systems [130] and high-speed trains [131]. Petri Nets are also used quite frequently to estimate the capacity of the communication networks required to meet the needs of the customers.…”

Section: Formal Methods With Rbdmentioning

confidence: 99%

“…Hardware/Software Components [114] The reliability analysis of VANETs system is performed by simulating its RBD model using SHARPE software The RBD model presented in the paper also captures the characteristics of the network channel as well as the hardware failure scenarios [115] The reliability and availability of an ICTinfrastructure system is analyzed by simulating its RBD model using Isographs Reliability Workbench [116] The reliability analysis of VoIP network is performed by simulating its RBD model using RAPTOR tool [117] The availability analysis of SCADA communication links, which are integral part of a power grid station, is performed by simulating its RBD model using ITEM software Repairing Strategies [118] A methodology is presented for the reliability analysis of complex communication network using GPSSworld simulation tool [119] A Monte Carlo simulation based reliability and availability analysis of long haul network is presented [125] The reliability and availability analysis of virtualized network resource allocation algorithm is performed through RBD modeling where the RBD model is then transformed into petri nets for analysis [126] An RBD and SPN based methodology is presented for the reliability and availability analysis of virtualized network [127] The reliability and availability analysis of virtual data center, which is an integral part of cloud computing, is performed using RBD technique and the RBD model is converted into SPN for analysis [135] The dynamic behavior of the sensors such as, sleep/wake policies are captured through DRBD and analyzed through Petri Nets for reliability evaluation of WSNs [130] The reliability and availability analysis of internet voting system is performed by modeling the system through RBD and the RBD model is then converted into SPN for analysis [131] A safety communication protocol of EURO-RADIO train is modeled using RBD technique and analyzed using SPN…”

Section: Formal Methods With Rbdmentioning

confidence: 99%

Reliability modeling and analysis of communication networks

Ahmed

Hasan

Pervez

et al. 2017

Journal of Network and Computer Applications

View full text Add to dashboard Cite

In recent times, the functioning of various aspects of modern society-ranging from the various infrastructural utilities such as electrical power, water to socio-economical aspects such as telecommunications, business, commerce, education-has become critically reliant on communication networks, and particularly on the Internet. With the migration of critical facilities to the Internet, it has become vitally important to ensure the reliability and availability of networks. In this paper, we study various modeling and analysis techniques that can aid in the study of reliability of communication networks. In this regard, we provide background on the modeling techniques (such as reliability block diagrams, fault trees, Markov chains, etc.) and analysis techniques (such as mathematical analytical methods, simulation methods, and formal methods). Apart from providing the necessary background, we also critically evaluate the pros and cons of different approaches, and provide a detailed survey of their applications in communication networks. To the best of our knowledge, this is the first in-depth review of the application of reliability modeling and analysis techniques in communication networks. work, the ability of a network to maintain an acceptable reliability level under extreme environmental conditions and assess the impact of design changes on the reliability of the overall network [17]. Similarly, the availability prediction allows us to evaluate various maintenance design options to achieve the desired availability of the network [18].The qualitative and quantitative reliability analysis requires the selection of an appropriate mathematical modeling and analysis technique. The modeling technique must be able to effectively capture the important parameters of the real system and the analysis technique should be capable of providing insights into the system behavior without running (or executing) the real system. There are numerous techniques that can provide analysis in the early phase, when only initial details are available of the design, and there are other techniques that cater the analysis of the later design phases, when more precise implementation details are available [16]. Some of the most widely used formalisms/techniques for modeling reliability and availability of communication networks are: Reliability Block Diagram (RBD) [19], Fault Tree (FT) [20], and Markov Chain (MC) [21]. Traditionally, the models developed using these techniques are analyzed using analytical methods or simulation tools.Recently, the computer networks community has shown great interest in the utilization of formal methods [22] as a reliability analysis technique for communication networks. Formal methods use mathematical logic to precisely model the system's intended behavior and deploy mathematical reasoning to construct an irrefutable proof that the given system satisfies its requirements. This kind of mathematical modeling and analysis makes formal methods an accurate and rigorous analysis method compared to the traditional a...

show abstract

“…Considering that the security is a very important requirement of e-voting systems, author has used the existing solutions to achieve web service security. Author of paper [3], proposed architecture for internet voting system based on dependable web services. Then he modeled this system with RBD and Reward Petri Nets.…”

Section: IImentioning

confidence: 99%

A Secure Approach for Web Based Internet Voting System Using Multiple Encryption

Jambhulkar

Chakole²,

Pardhi

2014

2014 International Conference on Electronic Systems, Signal Processing and Computing Technologies

View full text Add to dashboard Cite

Nowadays every things is becoming online, so human tendency has changed, they try to do every things from home using Internet. Election is also becoming online. But if we make voting system online the security is major concern. In our web based Internet voting system we are proving security to vote when it is travelling from voting client to voting server. Our main tool is the concept of multiple encryption and decryption.

show abstract

Modeling and quantitative evaluation of an internet voting system based on dependable web services

Cited by 8 publications

References 5 publications

Formal Dependability Modeling and Analysis: A Survey

Formal Dependability Modeling and Analysis: A Survey

Reliability modeling and analysis of communication networks

A Secure Approach for Web Based Internet Voting System Using Multiple Encryption

Contact Info

Product

Resources

About