Author:
Bartoletti Massimo,Costa Gabriele,Degano Pierpaolo,Martinelli Fabio,Zunino Roberto
Publisher
AITO - Association Internationale pour les Technologies Objets
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic security verification of mobile app configurations;Future Generation Computer Systems;2018-03
2. A Two-Component Language for Adaptation: Design, Semantics and Program Analysis;IEEE Transactions on Software Engineering;2016-06-01
3. Regular and context-free nominal traces;Acta Informatica;2016-02-23
4. Securing Android with Local Policies;Programming Languages with Applications to Biology and Security;2015
5. Model checking usage policies;Mathematical Structures in Computer Science;2014-11-10