48 citations · 221 across the 36 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 27 cited
A decidable policy language for history-based transaction monitoring
Andreas Bauer, Rajeev Gore, Alwen Tiu
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,…
cs.CR2009★ 4 cited
A Trace Based Bisimulation for the Spi Calculus
Alwen Tiu
A notion of open bisimulation is formulated for the spi calculus, an extension of the pi-calculus with cryptographic primitives. In this formulation, open bisimulation is indexed b…