1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2019
Strand Spaces with Choice via a Process Algebra Semantics
Fan Yang, Santiago Escobar, Catherine Meadows +1
Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we addre…
cs.PL2012★ 1 cited
Secondary use of data in EHR systems
Fan Yang, Chris Hankin, Flemming Nielson +1
We show how to use aspect-oriented programming to separate security and trust issues from the logical design of mobile, distributed systems. The main challenge is how to enforce va…