An Assurance Case Approach for Software Code Security. - Ryota Miyabayashi; Noritoshi Atsumi; Shuji Morisaki; Shuichiro Yamamoto (WESPr-iMLSE@APSEC, 2018)