An Assurance Case Approach for Software Code Security.

Tomoko Kaneko, Yuji Takahashi, Takao Okubo, Ryichi Sasaki

Browse the full APSEC paper archive.