• DocumentCode
    498511
  • 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
  • Volume
    1
  • fYear
    2009
  • fDate
    22-24 May 2009
  • Firstpage
    338
  • Lastpage
    342
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Electronic Commerce and Security, 2009. ISECS '09. Second International Symposium on
  • Conference_Location
    Nanchang
  • Print_ISBN
    978-0-7695-3643-9
  • Type

    conf

  • DOI
    10.1109/ISECS.2009.243
  • Filename
    5209908