Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach-Reference-Cited by-同舟云学术

Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach

Published:2017 Issue: Volume: Page:209-218
ISSN:0302-9743
Container-title:Security, Privacy, and Anonymity in Computation, Communication, and Storage
language:
Short-container-title:

Author:

Katkalov Kuzman,Stenzel Kurt,Reif Wolfgang

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-72395-2_20

Reference16 articles.

1. Lecture Notes in Computer Science;N Ben Said,2014

2. Enck, W., Octeau, D., McDaniel, P., Chaudhuri, S.: A study of android application security. In: Proceedings of the 20th USENIX Conference on Security, SEC 2011, p. 21. USENIX Association (2011)

3. Felt, A.P., Chin, E., Hanna, S., Song, D., Wagner, D.: Android permissions demystified. In: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, pp. 627–638. ACM (2011)

4. Graf, J., Hecker, M., Mohr, M., Snelting, G.: Checking applications using security APIs with JOANA. In: 8th International Workshop on Analysis of Security APIs, July 2015

5. Hammer, C.: Information Flow Control for Java - A Comprehensive Approach based on Path Conditions in Dependence Graphs. Ph.D. thesis, Universität Karlsruhe (TH), Fak. f. Informatik, July 2009. ISBN 978-3-86644-398-3

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Security Approaches in Model-Driven Engineering for Web Applications: the State-of-the-art in the Last 10 Years;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24