\input zb-basic
\input zb-ioport
\iteman{io-port 70237889}
\itemau{Abramov, Jenny; Anson, Omer; Sturm, Arnon; Shoval, Peretz}
\itemti{Tool support for enforcing security policies on databases}
\itemso{CAiSE Forum, 41-48 (2011).}
\itemcc{}
\itemut{}
\itemli{http://ceur-ws.org/Vol-734/PaperDemo06.pdf}
\end