\input zb-basic
\input zb-ioport
\iteman{io-port 70859657}
\itemau{Hanna, Aiman; Ling, Hai Zhou; Furlong, Jason; Debbabi, Mourad}
\itemti{Towards automation of testing high-level security properties}
\itemso{DBSec, 268-282 (2008).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-70567-3\_21}
\end