Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Verifying Specifications with Proof Scores in CafeOBJ
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Model driven security for inter-organizational workflows in e-government
TCGOV'05 Proceedings of the 2005 international conference on E-Government: towards Electronic Democracy
Hi-index | 0.00 |
In this paper, we introduce formal methods into the field of e-Government (or public administration) for formalizing e-Government system design, trying to extract a formal definition of transparency in public administration from former studies on transparency, and analyzing if the design of e-Government systems satisfies transparency related properties. Another contribution made in this paper is that we propose a digital right management license language (Public Administration License Language, called PALL as well) for e-Government systems, especially for using it to guarantee the transparency related properties in e-Government system design. Classical digital right license languages are applied to electronic "downloading", payment and rendering of artistic works, while we extend the concept of license to cover work authorization in public government. The digital works are public government documents in this context. As digital right license for artistic works seeks to safeguard against privacy and to ensure proper payment for the rights to render these works, PALL seeks to ensure transparent and professional "good governance".