https://catalogue-scientifique.canada.ca/record=2225981~S6*frc
Rechercher Bauer, Lujo; Rechercher Pfenning, Frank; Rechercher Reiter, Michael; Rechercher Chaudhuri, Kaustav; Rechercher Garg, Deepak; Rechercher Garriss, Scott; Rechercher McCune, Jon; Rechercher Ley-Wild, Ruy
carnegie-mellon univ pittsburgh pa dept of computer science, 2008
We conducted a research program with the goal of advancing security in distributed systems via the application of logical frameworks. Our work targeted...
Publication gouvernementale