Search results for "louvain"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Volker Kessler, Heike Neumann	A Sound Logic for Analysing Electronic Commerce Protocols.	ESORICS	1998	DBLP DOI BibTeX RDF	logic of authentication, Payword, semantics, Electronic commerce, formal analysis, SET, micropayment
24	Hervé Debar, Marc Dacier, Mehdi Nassehi, Andreas Wespi	Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior.	ESORICS	1998	DBLP DOI BibTeX RDF
24	Elisa Bertino, Francesco Buccafurri, Elena Ferrari, Pasquale Rullo	An Authorization Model and Its Formal Semantics.	ESORICS	1998	DBLP DOI BibTeX RDF
24	Elke Franz 0001, Anja Jerichow	A Mix-Mediated Anonymity Service and Its Payment.	ESORICS	1998	DBLP DOI BibTeX RDF
24	Rodolphe Ortalo	A Flexible Method for Information System Security Policy Specification.	ESORICS	1998	DBLP DOI BibTeX RDF	information systems, deontic logic, security policy specification
24	Joachim Posegga, Harald Vogt	Byte Code Verification for Java Smart Card Based on Model Checking.	ESORICS	1998	DBLP DOI BibTeX RDF
24	Christophe Bidan, Valérie Issarny	Dealing with Multi-policy Security in Large Open Distributed Systems.	ESORICS	1998	DBLP DOI BibTeX RDF
24	Gérard Eizenberg, Jean-Jacques Quisquater	Panel Session: Watermarking.	ESORICS	1998	DBLP DOI BibTeX RDF
24	John Kelsey, Bruce Schneier, David A. Wagner 0001, Chris Hall	Side Channel Cryptanalysis of Product Ciphers.	ESORICS	1998	DBLP DOI BibTeX RDF	product ciphers, cryptanalysis, timing attacks, side channels
24	Simon N. Foley	A Kernelized Architecture for Multilevel Secure Application Policies.	ESORICS	1998	DBLP DOI BibTeX RDF
24	Günter Karjoth	Authorization in CORBA Security.	ESORICS	1998	DBLP DOI BibTeX RDF	object access control, CORBA, authorization, distributed object systems
24	Dogan Kesdogan, Peter Reichl, Klaus Junghärtchen	Distributed Temporary Pseudonyms: A New Approach for Protecting Location Information in Mobile Communication Networks.	ESORICS	1998	DBLP DOI BibTeX RDF
24	Giampaolo Bella, Lawrence C. Paulson	Kerberos Version 4: Inductive Analysis of the Secrecy Goals.	ESORICS	1998	DBLP DOI BibTeX RDF	secure key, non-expired timestamp, inductive method, machine proof, secrecy
24	Markus Michels, Markus Stadler, Hung-Min Sun	On the Security of Some Variants of the RSA Signature Scheme.	ESORICS	1998	DBLP DOI BibTeX RDF	RSA variants, cryptanalysis, digital signature schemes
24	Xavier Perrot	Development in multimedia in Belgium: The Musée de Louvain-la-Neuve's commitment to the exploration of new technology-based access of National Cultural Heritage.	Arch. Mus. Informatics	1995	DBLP DOI BibTeX RDF
24	Yves Deville (eds.)	Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993	LOPSTR	1994	DBLP BibTeX RDF
24	Marko Grobelnik	Induction of Prolog Programs with Markus.	LOPSTR	1993	DBLP BibTeX RDF
24	Maurizio Proietti, Alberto Pettorossi	Synthesis of Programs from Unfold/Fold Proofs.	LOPSTR	1993	DBLP BibTeX RDF
24	Dmitri Boulanger, Maurice Bruynooghe	Using Abstract Interpretation for Goal Replacement.	LOPSTR	1993	DBLP BibTeX RDF
24	Corin A. Gurr	Specialising the Ground Representation in the Logic Programming Language Gödel.	LOPSTR	1993	DBLP BibTeX RDF
24	Anna-Lena Johansson	Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies.	LOPSTR	1993	DBLP BibTeX RDF
24	Ulrich Neumerkel	A Transformation Based in the Equality Between Terms.	LOPSTR	1993	DBLP BibTeX RDF
24	Vincent Lombart, Geraint A. Wiggins, Yves Deville	Guiding Synthesis Proofs.	LOPSTR	1993	DBLP BibTeX RDF
24	Pierre De Boeck, Baudouin Le Charlier	Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.	LOPSTR	1993	DBLP BibTeX RDF
24	Gerd Neugebauer	Reachability Analysis for the Extension Procedure - A Topological Result.	LOPSTR	1993	DBLP BibTeX RDF
24	Kung-Kiu Lau, Mario Ornaghi	A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.	LOPSTR	1993	DBLP BibTeX RDF
24	Peter Madden, Jane Hesketh, Ian Green, Alan Bundy	A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).	LOPSTR	1993	DBLP BibTeX RDF
24	Francesco Bergadano, Daniele Gunetti	Inductive Synthesis of Logic Programs and Inductive Logic Programming.	LOPSTR	1993	DBLP BibTeX RDF
24	Maria Vargas-Vera, David Stuart Robertson 0001, Robert Inder	Combining Prolog Programs in a Techniques Editing System (Abstract).	LOPSTR	1993	DBLP BibTeX RDF
24	Wamberto Weber Vasconcelos	Designing Prolog Programming Techniques.	LOPSTR	1993	DBLP BibTeX RDF
24	D. Andre de Waal	The Power of Partial Evaluation.	LOPSTR	1993	DBLP BibTeX RDF
24	Paul Tarau, Koenraad De Bosschere	Memoing with Abstract Answers and Delphi Lemmas.	LOPSTR	1993	DBLP BibTeX RDF
24	M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo	Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model.	LOPSTR	1993	DBLP BibTeX RDF
24	Bern Martens, Danny De Schreye	Some Further Issues in Finite Unfolding (Abstract).	LOPSTR	1993	DBLP BibTeX RDF
24	Douglas R. Smith	Towards the Synthesis of Constraint Propagation Algorithms. (Invited Paper)	LOPSTR	1993	DBLP BibTeX RDF