Title :
Development of ISEE: An Information Security Engineering Environment
Author :
Horie, Daisuke ; Goto, Yuichi ; Cheng, Jingde
Author_Institution :
Dept. of Inf. & Comput. Sci., Saitama Univ., Saitama, Japan
Abstract :
This paper presents a requirement analysis, design, and implementation of ISEE: an information security engineering environment. ISEE integrates various tools and functions for supporting continuous and consistent design, development, management, maintenance, and abolition of security facilities of information systems with high security requirements, and forces users to perform their tasks according to ISO standards and a regular sequence. We defined requirements for ISEE to achieve continuous and consistent design, development, management, maintenance, and abolition of security facilities. We also designed ISEE according to the requirements, and implemented some tools of ISEE. Users of ISEE can ensure the whole security of a system by continuously and consistently performing their tasks.
Keywords :
ISO standards; formal specification; formal verification; information systems; programming environments; security of data; software maintenance; systems analysis; ISEE development; ISEE tool; ISO standard; continuous consistent design; information security engineering environment; information system; regular sequence; requirements analysis; security facility abolition; security facility maintenance; security facility management; software life cycle process; Design engineering; Electronic commerce; Engineering management; Environmental management; ISO standards; Information analysis; Information security; Maintenance engineering; Management information systems; Standards development; ISO standards; Information security engineering environment; formal methods;
Conference_Titel :
Electronic Commerce and Security, 2009. ISECS '09. Second International Symposium on
Conference_Location :
Nanchang
Print_ISBN :
978-0-7695-3643-9
DOI :
10.1109/ISECS.2009.243