Formal modeling and verification of complex interactions in e-government applications

Meng Sun,Yi Li
DOI: https://doi.org/10.1145/2691195.2691296
2014-01-01
Abstract:With the dramatic transformation of society and the increasing size of government information resources, proper modeling and verification techniques for the complex interactions among multiple large-scale distributed electronic government (E-Government) applications are playing a key role in the development of such applications to make them trustworthy, secure and efficient. This paper focuses on using the integration of a promising coordination modeling framework Reo and the interactive proof assistant Coq for modeling and verification of complex interactions in E-Government applications. An access control example is investigated to show our approach on modeling, simulating and verifying the dynamic behavior of E-Government applications.
What problem does this paper attempt to address?