Search results for "Jif"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Boniface Hicks, Dave King 0002, Patrick D. McDaniel	Jifclipse: development tools for security-typed languages.	PLAS	2007	DBLP DOI BibTeX RDF	Jif, security-typed languages, Eclipse, developer tools
51	Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas	Specifying and implementing privacy-preserving cryptographic protocols.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Specification of Security Protocols, Dolev-Yao Intruder, Security-typed language, Typed MSR, Jif, Privacy, Linkability
51	Boniface Hicks, Dave King 0002, Patrick D. McDaniel, Michael Hicks 0001	Trusted declassification: : high-level policy for a security-typed language.	PLAS	2006	DBLP DOI BibTeX RDF	noninterference modolo trusted methods, FJifP, Jif, security-typed languages, trusted declassification, security policy, information-flow control, declassification
41	Vicente 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.	Scientometrics	2007	DBLP DOI BibTeX RDF
41	Boniface Hicks, Kiyan Ahmadizadeh, Patrick D. McDaniel	From Languages to Systems: Understanding Practical Application Development in Security-typed Languages.	ACSAC	2006	DBLP DOI BibTeX RDF
35	Jiandong Zhang, Yahui Liu, Zhesi Shen	Covid-related Papers Contribute 50% on the JIF of High Impact Medicine Journals.	J. Data Inf. Sci.	2022	DBLP DOI BibTeX RDF
35	Lina M. Jimenez, Martín Ochoa, Sandra Julieta Rueda	Jif-Based Verification of Information Flow Policies for Android Apps.	Int. J. Secur. Softw. Eng.	2017	DBLP DOI BibTeX RDF
35	Juan 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.	Scientometrics	2017	DBLP DOI BibTeX RDF
35	Liping Yu, Houqiang Yu	Does the average JIF percentile make a difference?	Scientometrics	2016	DBLP DOI BibTeX RDF
35	Kyle Pullicino	Jif: Language-based Information-flow Security in Java.	CoRR	2014	DBLP BibTeX RDF
35	Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif	Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach.	DPM/SETOP	2012	DBLP DOI BibTeX RDF
35	Judit Bar-Ilan	Rankings of information and library science journals by JIF and by h-type indices.	J. Informetrics	2010	DBLP DOI BibTeX RDF
35	Tove Faber Frandsen	Journal self-citations - Analysing the JIF mechanism.	J. Informetrics	2007	DBLP DOI BibTeX RDF
30	Sören Preibusch	Information Flow Control for Static Enforcement of User-Defined Privacy Policies.	POLICY	2011	DBLP DOI BibTeX RDF	privacy policy enforcement, user-defined policies, JIF, privacy negotiations, electronic commerce, case-study, information flow control
21	Aslan Askarov, Andrei Sabelfeld	Catch me if you can: permissive yet secure error handling.	PLAS	2009	DBLP DOI BibTeX RDF	exception handling, security type system
21	Stephen Chong, Andrew C. Myers	End-to-End Enforcement of Erasure and Declassification.	CSF	2008	DBLP DOI BibTeX RDF	Erasure, Expressive security policies, Information flow, Language-based security, Noninterference, Declassification
21	Ta-Chung Tsai, Alejandro Russo, John Hughes 0001	A Library for Secure Multi-threaded Information Flow in Haskell.	CSF	2007	DBLP DOI BibTeX RDF
21	Boniface Hicks, Tim Misiak, Patrick D. McDaniel	Channels: Runtime System Infrastructure for Security-Typed Languages.	ACSAC	2007	DBLP DOI BibTeX RDF
21	Narongrit Sombatsompop, Apisit Kositchaiyong, Teerasak Markpin, Sekson Inrit	Scientific evaluations of citation quality of international research articles in the SCI database: Thailand case study.	Scientometrics	2006	DBLP DOI BibTeX RDF
21	Tove Faber Frandsen	Geographical concentration.	Scientometrics	2005	DBLP DOI BibTeX RDF
21	Andrew D. Gordon 0001	From Typed Process Calculi to Source-Based Security.	SAS	2005	DBLP DOI BibTeX RDF
21	Aslan Askarov, Andrei Sabelfeld	Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study.	ESORICS	2005	DBLP DOI BibTeX RDF
21	Katia Hayati, Martín Abadi	Language-Based Enforcement of Privacy Policies.	Privacy Enhancing Technologies	2004	DBLP DOI BibTeX RDF
21	Rogardt Heldal, Fredrik Hultin	Bridging Model-Based and Language-Based Security.	ESORICS	2003	DBLP DOI BibTeX RDF
21	Andrew C. Myers, Barbara Liskov	Protecting privacy using the decentralized label model.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	principals, integrity, policies, lattice, confidentiality, roles, type checking, information flow controls, declassification, end-to-end, downgrading