Owe、Olaf;埃莱赫·法泽尔德科迪 支持安全、安保和隐私的智能合约的轻量级方法。 (英语) Zbl 07531439号 J.日志。阿尔盖布。方法计划。 127,文章ID 100772,34 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Owe}和\textit{E.Fazeldehkordi},J.Log。阿尔盖布。方法程序。127,文章ID 100772,34 p.(2022;Zbl 07531439) 全文: 内政部
Tokas、Shukun;Owe、Olaf;托克塔姆Ramezanifarkhani 面向对象分布式系统GDPR相关隐私合规性的静态检查。 (英语) Zbl 07485814号 J.日志。阿尔盖布。方法计划。 125,文章ID 100733,33 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Tokas}等人,J.Log。阿尔盖布。方法程序。125,文章ID 100733,33 p.(2022;Zbl 07485814) 全文: 内政部
克里斯蒂安·约翰森;Owe、Olaf 动态结构操作语义。 (英语) Zbl 1431.68061号 J.日志。阿尔盖布。方法计划。 107, 79-107 (2019).MSC公司:第68季度55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Johansen}和\textit{O.Owe},J.Log。阿尔盖布。方法程序。107、79-107(2019年;Zbl 1431.68061) 全文: 内政部 arXiv公司