Jif

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 12 articles )

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

  1. 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)
  2. Schoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei: SeLINQ: tracking information across application-database boundaries (2014)
  3. Zhang, Danfeng; Myers, Andrew C.: Toward general diagnosis of static errors (2014)
  4. Grabowski, Robert: Information flow analysis for mobile code in dynamic security environments (2012)
  5. Askarov, Aslan; Myers, Andrew: Attacker control and impact for confidentiality and integrity (2011)
  6. Li, Peng; Zdancewic, Steve: Arrows for secure information flow (2010)
  7. Hammer, Christian; Snelting, Gregor: Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs (2009)
  8. Russo, Alejandro; Sabelfeld, Andrei: Securing interaction between threads and the scheduler in the presence of synchronization (2009)
  9. Hähnle, Reiner; Pan, Jing; Rümmer, Philipp; Walter, Dennis: Integration of a security type system into a program logic (2008)
  10. Castellani, Ilaria: State-oriented noninterference for CCS. (2007)
  11. Zheng, Lantian; Myers, Andrew C.: Dynamic security labels and static information flow control (2007)
  12. Hedin, Daniel; Sands, David: Timing aware information flow security for a javacard-like bytecode. (2005)