Search results for "aspects"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Allaa Kamil, Gavin Lowe	Specifying and Modelling Secure Channels in Strand Spaces.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Alessandro Armando, Serena Elisa Ponta	Model Checking of Security-Sensitive Business Processes.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Josef Svenningsson, David Sands 0001	Specification and Verification of Side Channel Declassification.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Liqun Chen 0002, Mark Ryan 0001	Attack, Solution and Verification for Shared Authorisation Data in TCG TPM.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen	HMM-Based Trust Model.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Rafael Alpízar, Geoffrey Smith 0001	Secure Information Flow for Distributed Systems.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Jonathan Heusser, Pasquale Malacaria	Applied Quantitative Information Flow and Statistical Databases.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Andrew Cirillo, James Riely	Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny	Probable Innocence in the Presence of Independent Knowledge.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner (eds.)	Topological and Game-Theoretic Aspects of Infinite Computations, 29.06. - 04.07.2008	Topological and Game-Theoretic Aspects of Infinite Computations	2008	DBLP BibTeX RDF
21	Chrysida Galanaki, Panos Rondogiannis, William W. Wadge	General Logic Programs as Infinite Games.	Topological and Game-Theoretic Aspects of Infinite Computations	2008	DBLP BibTeX RDF
21	Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis	On the Semantic Approaches to Boolean Grammars.	Topological and Game-Theoretic Aspects of Infinite Computations	2008	DBLP BibTeX RDF
21	Blanca Mancilla, John Plaice	Declarative Synchronous Multithreaded Programming.	Topological and Game-Theoretic Aspects of Infinite Computations	2008	DBLP BibTeX RDF
21	John Plaice, Blanca Mancilla	Cartesian Programming: The TransLucid Programming Language.	Topological and Game-Theoretic Aspects of Infinite Computations	2008	DBLP BibTeX RDF
21	Olivier Finkel, Dominique Lecomte	Topological Complexity of omega-Powers: Extended Abstract.	Topological and Game-Theoretic Aspects of Infinite Computations	2008	DBLP BibTeX RDF
21	Fred Spiessens, Jerry den Hartog, Sandro Etalle	Know What You Trust.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Rob Verhoeven, Francien Dechesne	Verifying Multi-party Authentication Using Rank Functions and PVS.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Dusko Pavlovic	Dynamics, Robustness and Fragility of Trust.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Gérard Boudol	Secure Information Flow as a Safety Property.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Heiko Mantel, Henning Sudbrock	Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Dominic Duggan, Ye Wu 0006	Causality and Accountability.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Wiebren de Jonge, Bart Jacobs 0001	Privacy-Friendly Electronic Traffic Pricing via Commits.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Emiliano Lorini, Rino Falcone, Cristiano Castelfranchi	Trust within the Context of Organizations: A Formal Approach.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Ariel Cohen 0002, Ron van der Meyden, Lenore D. Zuck	Access Control and Information Flow in Transactional Memory.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Simone Frau, Roberto Gorrieri, Carlo Ferigato	Petri Net Security Checker: Structural Non-interference at Work.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Elsa L. Gunter, Ayesha Yasmeen	Secure Broadcast Ambients.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF	Ambient calculi, security, broadcast, bisimulations, process calculi, congruence
21	Nataliia Bielova, Fabio Massacci	Do You Really Mean What You Actually Enforced?.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF	Formal models for security, Resource and Access Control, Validation/Analysis tools and techniques, trust and reputation
21	James Heather, David Lundin	The Append-Only Web Bulletin Board.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Isaac Agudo, M. Carmen Fernández Gago, Javier López 0001	Delegating Privileges over Finite Resources: A Quota Based Delegation Approach.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Daniel Le Métayer	A Formal Privacy Management Framework.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Alexander Lux, Heiko Mantel	Who Can Declassify?.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Jan Friso Groote, Simona Orzan	Parameterised Anonymity.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Francis Klay, Laurent Vigneron	Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF	AVISPA Tool, authentication, fairness, Cryptographic protocols, non-repudiation, automatic analysis
21	David Clark 0001, Sebastian Hunt	Non-Interference for Deterministic Interactive Programs.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin	Formal Certification of ElGamal Encryption.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Matthew Collinson, David J. Pym, Chris M. N. Tofts	Errata for Formal Aspects of Computing (2006) 18: 495-517 and their consequences.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF
21	Siobhán Clarke, Leon Moonen, Ganesan Ramalingam (eds.)	Aspects For Legacy Applications, 26.07. - 29.07.2006	Aspects For Legacy Applications	2007	DBLP BibTeX RDF
21	Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele (eds.)	Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007	Quantitative Aspects of Embedded Systems	2007	DBLP BibTeX RDF
21	Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (eds.)	Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2007	DBLP DOI BibTeX RDF
21	Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (eds.)	Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers	Formal Aspects in Security and Trust	2007	DBLP DOI BibTeX RDF
21	Winfried Lenders	The Surface of Argumentation and the Role of Subordinating Conjunctions.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Alexander Mehler, Reinhard Köhler	Introduction: Machine Learning in a Semiotic Perspective.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Reinhard Köhler	Quantitative Analysis of Syntactic Structures in the Framework of Synergetic Linguistics.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Jürgen Rolshoven	Licensing Strategies in Natural Language Processing.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Gert Rickheit, Hans Strohner	A Cognitive Systems Approach to Automatic Text Analysis.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Alexander Mehler	Compositionality in Quantitative Semantics. A Theoretical Perspective on Text Mining.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Leonid I. Perlovsky	Neural Networks, Fuzzy Models and Dynamic Logic.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	George J. Klir, Kari Sentz	On the Issue of Linguistic Approximation.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Lotfi A. Zadeh	Precisiated Natural Language.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Arne Ziegler, Gabriel Altmann	Latent Connotative Text Structure.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Harald Atmanspacher	A Semiotic Approach to Complex Systems.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Janusz Kacprzyk, Slawomir Zadrozny	Computing with Words for Text Categorization.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Dieter Metzing, Jens Pönninghaus	Linguistic Information Modeling: From Kilivila Verb Morphology to RelaxNG.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Wolfgang Wildgen	The Dimensionality of Text and Picture and the Cross-Cultural Organization of Semiotic Complexes.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Hans-Jürgen Eikmeyer, Walther Kindt, Hans Strohner	System Theoretical Research on Language and Communication: The Extended Experimental-Simulative Method.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Alfonso Medina Urrea	Affix Discovery by Means of Corpora: Experiments for Spanish, Czech, Ralámuli and Chuj.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Peter Gritzmann	On the Mathematics of Semantic Spaces.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Michael Stubbs	Inferring Meaning: Text, Technology and Questions of Induction.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Edda Leopold	Models of Semantic Spaces.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Stefan Bordag, Gerhard Heyer	A Structuralist Framework for Quantitative Linguistics.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
21	Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han 0001, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang 0001	07101 Working Group Report -- Performance Measures Other Than Time.	Quantitative Aspects of Embedded Systems	2007	DBLP BibTeX RDF
21	Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit, Johann L. Hurink	Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC).	Quantitative Aspects of Embedded Systems	2007	DBLP BibTeX RDF
21	Regivan Hugo Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly	Formal Aspects of Correctness and Optimality of Interval Computations.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Interval representations, Optimality, Correctness, Continuity, Interval analysis
21	Stefano Leonardi 0001, Friedhelm Meyer auf der Heide, Dorothea Wagner (eds.)	Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005	Algorithmic Aspects of Large and Complex Networks	2006	DBLP BibTeX RDF
21	Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (eds.)	Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Kris De Schutter, Bram Adams	Face-off: AOP+LMP vs. legacy software.	Aspects For Legacy Applications	2006	DBLP BibTeX RDF
21	Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Reiko Heckel	Rule-based Model Extraction from Source Code.	Aspects For Legacy Applications	2006	DBLP BibTeX RDF
21	Silvia Breu, Thomas Zimmermann 0001, Christian Lindig	HAM: Cross-cutting Concerns in Eclipse.	Aspects For Legacy Applications	2006	DBLP BibTeX RDF
21	Marius Marin, Leon Moonen, Arie van Deursen	A common framework for aspect mining based on crosscutting concern sorts.	Aspects For Legacy Applications	2006	DBLP BibTeX RDF
21	Silvia Breu, Thomas Zimmermann 0001, Christian Lindig	Mining Eclipse for CrossCutting.	Aspects For Legacy Applications	2006	DBLP BibTeX RDF
21	Silvia Breu, Thomas Zimmermann 0001, Christian Lindig, V. Benjamin Livshits	Mining Additions of Method Calls in ArgoUML.	Aspects For Legacy Applications	2006	DBLP BibTeX RDF
21	Stefan Hetzl, Alexander Leitsch	Proof Transformations and Structural Invariance.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Francesc Esteva, Lluís Godo	Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini	Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Franco Montagna	Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Beloslav Riecan	Probability Theory on IF Events.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Tobias Gedell, Reiner Hähnle	Verification by Parallelization of Parametric Code.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Arnon Avron, Anna Zamansky	Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Antonio Di Nola, Mirko Navara	Cantor-Bernstein Property for MV-Algebras.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Matthias Baaz	Note on Conditional Constructivity.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Giovanni Panti	The Automorphism Group of Falsum-Free Product Logic.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Xavier Caicedo	Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Lawrence Peter Belluce, Antonio Di Nola, Ada Lettieri	Symmetric MV-Algebras.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Sándor Jenei, Franco Montagna	Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Roberto Cignoli	The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Andrew M. W. Glass, Françoise Point	Finitely Presented Abelian Lattice-Ordered Groups.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Petr Hájek 0001	On Fuzzy Theories with Crisp Sentences.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
21	Christian W. Probst, René Rydhof Hansen, Flemming Nielson	Where Can an Insider Attack?	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Danièle Beauquier, Ruggero Lanotte	Hiding Information in Multi Level Security Systems.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Stefano Bistarelli, Marco Dall'Aglio, Pamela Peretti	Strategic Games on Defense Trees.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF	Security, Game Theory, Risk Analysis
21	Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna 0001	A Formal Specification of the MIDP 2.0 Security Model.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Karl Krukow, Mogens Nielsen	From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Yuxin Deng, Jun Pang 0001, Peng Wu 0002	Measuring Anonymity with Relative Entropy.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Kun Wei, James Heather	A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò 0001, David A. Basin	Formalizing and Analyzing Sender Invariance.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen	Program Partitioning Using Dynamic Trust Models.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen	Locality-Based Security Policies.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Chunqi Tian, Shihong Zou, Wendong Wang, Shiduan Cheng	A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Ron van der Meyden, Chenyi Zhang	A Comparison of Semantic Models for Noninterference.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Fredrik Seehusen, Ketil Stølen	Maintaining Information Flow Security Under Refinement and Transformation.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF