Author:
Armando Alessandro,Costa Gabriele,Merlo Alessio,Verderame Luca
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Safety, Risk, Reliability and Quality,Information Systems,Software
Reference30 articles.
1. Abadi, M., Fournet, C.: Access control based on execution history. In: Proceedings of the 10th Annual Network and Distributed System Security Symposium, pp. 107–121 (2003)
2. Andersen, H., Lind-Nielsen, J.: MuDiv: a tool for partial model checking. In: CONCUR (1996)
3. Andersen, H.R.: Partial model checking (extended abstract). In: Proceedings of the Tenth Annual IEEE Symposium on Logic in Computer Science, pp. 398–407. IEEE Computer Society Press (1995)
4. Armando, A., Costa, G., Merlo, A.: Formal modeling and reasoning about the Android security framework. In: Proceedings of Seventh International Symposium on Trustworthy Global Computing (2012a)
5. Armando, A., Merlo, A., Migliardi, M., Verderame, L.: Would you mind forking this process? A denial of service attack on Android (and some countermeasures). In: Proceedings of the 27th IFIP International Information Security and Privacy Conference (SEC 2012), pp. 13–24 (2012b)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献