Author:
Desmet Lieven,Joosen Wouter,Massacci Fabio,Philippaerts Pieter,Piessens Frank,Siahaan Ida,Vanoverberghe Dries
Subject
Computer Networks and Communications,Safety, Risk, Reliability and Quality,Software
Reference16 articles.
1. Aktug I, Naliuka K. ConSpec – a formal language for policy specification. In: Proceedings of the first international workshop on run time enforcement for mobile and distributed systems (REM2007); September 2007 (accepted).
2. Bauer L, Ligatti J, Walker D. Composing security policies with polymer. In: Proceedings of the 2005 ACM SIGPLAN conference on programming language design and implementation (PLDI); June 2005. p. 305–14.
3. Model checking;Clarke,2000
4. Desmet Lieven, Joosen Wouter, Massacci Fabio, Naliuka Katsiaryna, Philippaerts Pieter, Piessens Frank, et al. A flexible security architecture to support third-party applications on mobile devices. In: CSAW '07: proceedings of the 2007 ACM workshop on computer security architecture; 2007. p. 19–28.
5. Dragoni N, Massacci F, Naliuka K, Sebastiani R, Siahaan I, Quillinan T, et al. S3MS deliverable d2.1.4 – methodologies and tools for contract matching; April 2007.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献