Cited By
View all- Ochoa MJürjens JCuéllar J(2012)Non-interference on UML state-chartsProceedings of the 50th international conference on Objects, Models, Components, Patterns10.1007/978-3-642-30561-0_16(219-235)Online publication date: 29-May-2012
- Ghindici DSimplot-Ryl ITalbot J(2009)A sound analysis for secure information flow using abstract memory graphsProceedings of the Third IPM international conference on Fundamentals of Software Engineering10.1007/978-3-642-11623-0_21(355-370)Online publication date: 15-Apr-2009
- Ghindici DSimplot-Ryl I(2008)On Practical Information Flow Policies for Java-Enabled Multiapplication Smart CardsProceedings of the 8th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications10.1007/978-3-540-85893-5_3(32-47)Online publication date: 8-Sep-2008
- Show More Cited By