• DocumentCode
    3217176
  • Title

    Software analysis for security

  • Author

    Mancoridis, Spiros

  • Author_Institution
    Dept. of Comput. Sci., Drexel Univ., Philadelphia, PA
  • fYear
    2008
  • fDate
    Sept. 28 2008-Oct. 4 2008
  • Firstpage
    109
  • Lastpage
    118
  • Abstract
    This is a survey of the processes, practices, and technologies that can help software maintenance engineers improve the security of software systems. A particular emphasis is placed on validating security architectures, verifying that the implementation of an architecturepsilas constituent applications adhere to secure coding practices, and protecting software systems against malicious software. In addition to surveying the state-of-the-art, research challenges pertaining to software security are posed to the software maintenance research community.
  • Keywords
    program verification; security of data; software engineering; security architectures; software analysis; software maintenance; software security; Access control; Application software; Biometrics; Computer architecture; Computer security; Cryptography; Operating systems; Protection; Software maintenance; Software systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Frontiers of Software Maintenance, 2008. FoSM 2008.
  • Conference_Location
    Beijing
  • Print_ISBN
    978-1-4244-2654-6
  • Electronic_ISBN
    978-1-4244-2655-3
  • Type

    conf

  • DOI
    10.1109/FOSM.2008.4659254
  • Filename
    4659254