The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for JIF with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000-2008 (16) 2009-2022 (9)
Publication types (Num. hits)
article(12) inproceedings(13)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 26 occurrences of 22 keywords

Results
Found 25 publication records. Showing 25 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
113Boniface Hicks, Dave King 0002, Patrick D. McDaniel Jifclipse: development tools for security-typed languages. Search on Bibsonomy PLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Jif, security-typed languages, Eclipse, developer tools
51Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas Specifying and implementing privacy-preserving cryptographic protocols. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Specification of Security Protocols, Dolev-Yao Intruder, Security-typed language, Typed MSR, Jif, Privacy, Linkability
51Boniface Hicks, Dave King 0002, Patrick D. McDaniel, Michael Hicks 0001 Trusted declassification: : high-level policy for a security-typed language. Search on Bibsonomy PLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF noninterference modolo trusted methods, FJifP, Jif, security-typed languages, trusted declassification, security policy, information-flow control, declassification
41Vicente P. Guerrero-Bote, Felipe Zapico-Alonso, María Eugenia Espinosa-Calvo, Rocío Gómez Crisóstomo, Félix de Moya Anegón Import-export of knowledge between scientific subject categories: The iceberg hypothesis. Search on Bibsonomy Scientometrics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Boniface Hicks, Kiyan Ahmadizadeh, Patrick D. McDaniel From Languages to Systems: Understanding Practical Application Development in Security-typed Languages. Search on Bibsonomy ACSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Jiandong Zhang, Yahui Liu, Zhesi Shen Covid-related Papers Contribute 50% on the JIF of High Impact Medicine Journals. Search on Bibsonomy J. Data Inf. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Lina M. Jimenez, Martín Ochoa, Sandra Julieta Rueda Jif-Based Verification of Information Flow Policies for Android Apps. Search on Bibsonomy Int. J. Secur. Softw. Eng. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Juan Miguel Campanario JIF-Plots: using plots of citations versus citable items as a tool to study journals and subject categories and discover new scientometric relationships. Search on Bibsonomy Scientometrics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Liping Yu, Houqiang Yu Does the average JIF percentile make a difference? Search on Bibsonomy Scientometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
35Kyle Pullicino Jif: Language-based Information-flow Security in Java. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
35Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. Search on Bibsonomy DPM/SETOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
35Judit Bar-Ilan Rankings of information and library science journals by JIF and by h-type indices. Search on Bibsonomy J. Informetrics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
35Tove Faber Frandsen Journal self-citations - Analysing the JIF mechanism. Search on Bibsonomy J. Informetrics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Sören Preibusch Information Flow Control for Static Enforcement of User-Defined Privacy Policies. Search on Bibsonomy POLICY The full citation details ... 2011 DBLP  DOI  BibTeX  RDF privacy policy enforcement, user-defined policies, JIF, privacy negotiations, electronic commerce, case-study, information flow control
21Aslan Askarov, Andrei Sabelfeld Catch me if you can: permissive yet secure error handling. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF exception handling, security type system
21Stephen Chong, Andrew C. Myers End-to-End Enforcement of Erasure and Declassification. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Erasure, Expressive security policies, Information flow, Language-based security, Noninterference, Declassification
21Ta-Chung Tsai, Alejandro Russo, John Hughes 0001 A Library for Secure Multi-threaded Information Flow in Haskell. Search on Bibsonomy CSF The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Boniface Hicks, Tim Misiak, Patrick D. McDaniel Channels: Runtime System Infrastructure for Security-Typed Languages. Search on Bibsonomy ACSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Narongrit Sombatsompop, Apisit Kositchaiyong, Teerasak Markpin, Sekson Inrit Scientific evaluations of citation quality of international research articles in the SCI database: Thailand case study. Search on Bibsonomy Scientometrics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Tove Faber Frandsen Geographical concentration. Search on Bibsonomy Scientometrics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Andrew D. Gordon 0001 From Typed Process Calculi to Source-Based Security. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Aslan Askarov, Andrei Sabelfeld Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study. Search on Bibsonomy ESORICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Katia Hayati, Martín Abadi Language-Based Enforcement of Privacy Policies. Search on Bibsonomy Privacy Enhancing Technologies The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Rogardt Heldal, Fredrik Hultin Bridging Model-Based and Language-Based Security. Search on Bibsonomy ESORICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Andrew C. Myers, Barbara Liskov Protecting privacy using the decentralized label model. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF principals, integrity, policies, lattice, confidentiality, roles, type checking, information flow controls, declassification, end-to-end, downgrading
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license