An Assurance Case Approach for Software Code Security.

Ryota Miyabayashi, Noritoshi Atsumi, Shuji Morisaki, Shuichiro Yamamoto

Browse the full APSEC paper archive.