Health information technology revolutionized the world with its great expansion and widespread in the domain of health care system. Most of the developed countries adopted advanced technology in their vaccination systems. Vaccination systems of many developing countries still lack the use of technology eventually causing mismanagement and corruption to occur in vaccination campaigns. Issues like mismanagement and corruption not only affect vaccination campaigns but also cause further diffusion

more »

... f a disease. Pakistan is also one of such countries where vaccination system is prone to these and many other issues and hence it does not help in disease eradication. For example, polio remains alive in Pakistan because Pakistan's Polio vaccination system is faced with many problems and the biggest one is security of vaccination teams. Corruption, mismanagement, unawareness among public and life-threat to vaccination teams are the main problems of current polio vaccination system of Pakistan. To overcome these flaws and to make an idyllic system with the new advanced technology, we propose technology oriented secure polio vaccination system. The proposed system is more secure and removes flaws in the current system. We model our proposed system using Colored Petri Nets (CPNs) which is a state-of-the-art tool for formal modeling.