5 citations · 10 across the 3 of their papers we have counts for
1 paper · 2 filters
Joseph Y. Halpern, Ron van der Meyden
Abadi has introduced a logic to explicate the meaning of local names in SDSI, the Simple Distributed Security Infrastructure proposed by Rivest and Lampson. Abadi's logic does not…