Home // ICDS 2011, The Fifth International Conference on Digital Society // View article

A Formal Methodology for Procedural Security Assessment

Authors:
Komminist Weldemariam
Adolfo Villafiorita

Keywords: procedures; security assessment; modeling and analysis; formal methods.

Abstract:
Formal analysis techniques can deliver important support during ICT-based innovation (or redesign) efforts in e-government services. This paper discusses a formal method- ology for assessing the procedural security of an organization. We do so by explicitly reasoning on critical information flow named assets flows. With this it is possible to understand how critical assets are modified in unlawful manner, which can trigger security and privacy violations, thereby (automatically) detecting security weaknesses within an organization under evaluation.

Pages: 146 to 151

Copyright: Copyright (c) IARIA, 2011

Publication date: February 23, 2011

Published in: conference

ISSN: 2308-3956

ISBN: 978-1-61208-116-8

Location: Gosier, Guadeloupe, France

Dates: from February 23, 2011 to February 28, 2011