Foreword: programming language interference and dependence
David Clark, Roberto Giacobazzi, Chunyan Mu
págs. 1109-1110
Non-disclosure for distributed mobile code
Ana Almeida Matos, Jan Cederquist
págs. 1111-1181
Non-termination and secure information flow
Geoffrey Smith, Rafael Alpízar
págs. 1183-1205
págs. 1207-1252
Modelling declassification policies using abstract domain completeness
Isabella Mastroeni, Anindya Banerjee
págs. 1253-1299
Provenance as dependency analysis
James Cheney, Amal Ahmed, Umut A. Acar
págs. 1301-1337
págs. 1339-1362
© 2008-2024 Fundación Dialnet · Todos los derechos reservados