Author:
Akeel Fatimah,Salehi Fathabadi Asieh,Paci Federica,Gravell Andrew,Wills Gary
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Computational Mechanics
Reference27 articles.
1. Abrial JR (2010) Modeling in Event-B: system and software engineering. Cambridge University Press, Cambridge
2. Abrial JR, Butler M, Hallerstede S, Voisin L (2006) An open extensible tool environment for Event-B. Formal methods and software engineering. Lect Notes Comput Sci 4260:588–605
3. Agudo I, Fernandez-Gago C, Lopez J (2010) A scale based trust model for multi-context environments. Comput Math Appl 60(2):209–216
4. Akeel F, Wills G, Gravell A (2013) SecureDIS: a framework for secure data integration systems. In: The 8th international conference for internet technology and secured transactions, pp 588–593
5. Akeel FY, Wills GB, Gravell AM (2014) Exposing data leakage in Data Integration Systems. In: 9th International conference for internet technology and secured transactions, ICITST 2014, pp 420–425
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献