Jif: Java information flow. Jif is a security-typed programming language that extends Java with support for information flow control and access control, enforced at both compile time and run time. The source code for the Jif compiler and run-time system is available for download. Jif is written in Java and is built using the Polyglot extensible Java compiler framework

References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco: CoSMed: a confidentiality-verified social media platform (2016)
  2. Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres: Combining behavioural types with security analysis (2015)
  3. Li, Xiaowei; Xue, Yuan.: A survey on server-side approaches to securing web applications (2014)
  4. Schoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei: SeLINQ: tracking information across application-database boundaries (2014)
  5. Zhang, Danfeng; Myers, Andrew C.: Toward general diagnosis of static errors (2014)
  6. Grabowski, Robert: Information flow analysis for mobile code in dynamic security environments (2012)
  7. Askarov, Aslan; Myers, Andrew: Attacker control and impact for confidentiality and integrity (2011)
  8. Fournet, Cédric; Planul, Jérémy: Compiling information-flow security to minimal trusted computing bases (2011)
  9. Li, Peng; Zdancewic, Steve: Arrows for secure information flow (2010)
  10. Hammer, Christian; Snelting, Gregor: Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs (2009) ioport
  11. Russo, Alejandro; Sabelfeld, Andrei: Securing interaction between threads and the scheduler in the presence of synchronization (2009)
  12. Hähnle, Reiner; Pan, Jing; Rümmer, Philipp; Walter, Dennis: Integration of a security type system into a program logic (2008)
  13. Zheng, Lantian; Myers, Andrew C.: Dynamic security labels and static information flow control (2007) ioport
  14. Yoshida, Nobuko: Type-based security for mobile computing integrity, secrecy and liveness (2006)