Tracking information flow in dynamic tree structures (2009)

by A Russo, A Sabelfeld, A Chudnov
Venue:In ESORICS