. . "Wagner, David, 1974-" . _:b7iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b7iddOtlocdOtgovauthoritiesnamesno2003096864 _:b8iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b7iddOtlocdOtgovauthoritiesnamesno2003096864 _:b010 . _:b8iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b8iddOtlocdOtgovauthoritiesnamesno2003096864 "Wagner, David," . _:b010 _:b11iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b010 . _:b11iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b11iddOtlocdOtgovauthoritiesnamesno2003096864 "1974-" . "1001 $aWagner, David,$d1974-" . . . . . . . . . "Wagner, David, 1974-" . . . . . "no2003096864" . "(OCoLC)oca06162487" . _:b34iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b34iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b34iddOtlocdOtgovauthoritiesnamesno2003096864 "MOPS, an infrastructure for examining security properties of software, 2002:" . _:b34iddOtlocdOtgovauthoritiesnamesno2003096864 "t.p. (David Wagner; Computer Science Division, Univ. of Calif., Berkeley)" . _:b34iddOtlocdOtgovauthoritiesnamesno2003096864 "found" . _:b42iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b42iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b42iddOtlocdOtgovauthoritiesnamesno2003096864 "E-mail from David Wagner, 9-26-03 (b. 1974; Ph. D.)" . _:b42iddOtlocdOtgovauthoritiesnamesno2003096864 "found" . _:b48iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b48iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b48iddOtlocdOtgovauthoritiesnamesno2003096864 "2003-09-26T00:00:00"^^ . _:b48iddOtlocdOtgovauthoritiesnamesno2003096864 "new"^^ . _:b48iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b48iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b56iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b56iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b56iddOtlocdOtgovauthoritiesnamesno2003096864 "2003-10-01T05:29:03"^^ . _:b56iddOtlocdOtgovauthoritiesnamesno2003096864 "revised"^^ . _:b56iddOtlocdOtgovauthoritiesnamesno2003096864 . _:b56iddOtlocdOtgovauthoritiesnamesno2003096864 .