В демонстрационных целях вместе с Simone Fischer-Hubner (http://agn-www.informatik.uni-hamburg.de/people/fischer)
были созданы программные примеры простой Privacy Model (PM) ![[*]](crossref.png)
.
Хотя и используются некоторые модули, наше внимание сфокусировано на моделях
секретности, являющихся наиболее полными и в то же время мощными. Другие модули
используются в специальных целях.
Некоторые другие примеры находятся в документе Примеры .