Search results for "composability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Yehuda Lindell	General Composition and Universal Composability in Secure Multiparty Computation.	J. Cryptology	2009	DBLP DOI BibTeX RDF	Concurrent general composition, Universal composability, Secure computation
3	Claudia Szabo, Yong Meng Teo	An Approach for Validation of Semantic Composability in Simulation Models.	PADS	2009	DBLP DOI BibTeX RDF	semantic composability, simulation, component, validation
3	Yong Meng Teo, Claudia Szabo	CODES: An Integrated Approach to Composable Modeling and Simulation.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	syntactic composability, semantic composability, model discovery, simulation ontology, model reuse
3	Dennis Hofheinz, Dominique Unruh	Simulatable Security and Polynomially Bounded Concurrent Composability.	IEEE Symposium on Security and Privacy	2006	DBLP DOI BibTeX RDF	Reactive Simulatability, Universal Composability, concurrent composition
3	Christian Attiogbé, Pascal André, Gilles Ardourel	Checking Component Composability.	Software Composition	2006	DBLP DOI BibTeX RDF	Behavioural Interface Description, Behavioural Verification, Components, Services, Composability
3	Jan Jürjens	Composability of Secrecy.	MMM-ACNS	2001	DBLP DOI BibTeX RDF	formal specification, Network security, refinement, modularity, cryptographic protocols, computer aided software engineering, composability, secrecy
2	Cyprien Noël	Extensible software transactional memory.	C3S2E	2010	DBLP DOI BibTeX RDF	software architecture, synchronization, transactional memory, concurrent programming, composability, object replication
2	Heidi Pan, Benjamin Hindman, Krste Asanovic	Composing parallel software efficiently with lithe.	PLDI	2010	DBLP DOI BibTeX RDF	cooperative scheduling, oversubscription, user-level scheduling, parallelism, resource management, composability, hierarchical scheduling
2	Christoph Lucas, Dominik Raub, Ueli M. Maurer	Hybrid-secure MPC: trading information-theoretic robustness for computational privacy.	PODC	2010	DBLP DOI BibTeX RDF	hybrid security, party emulation, computational security, information-theoretic security, universal composability, multi-party computation
2	Yevgeniy Dodis, Jonathan Katz, Adam Smith, Shabsi Walfish	Composability and On-Line Deniability of Authentication.	TCC	2009	DBLP DOI BibTeX RDF
2	Huijia Lin, Rafael Pass, Muthuramakrishnan Venkitasubramaniam	A unified framework for concurrent security: universal composability from stand-alone non-malleability.	STOC	2009	DBLP DOI BibTeX RDF	secure multi-party computation, universal composability, non-malleability
2	Ryo Nishimaki, Eiichiro Fujisaki, Keisuke Tanaka	Efficient Non-interactive Universally Composable String-Commitment Schemes.	ProvSec	2009	DBLP DOI BibTeX RDF	non-interactive string commitment, all-but-one trapdoor functions, homomorphism, universal composability
2	Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond	Symbolic Computation Software Composability.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
2	Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser, Christian Paukovits	Composability in the time-triggered system-on-chip architecture.	SoCC	2008	DBLP DOI BibTeX RDF
2	Kaoru Kurosawa, Jun Furukawa	Universally Composable Undeniable Signature.	ICALP	2008	DBLP DOI BibTeX RDF	undeniable signature scheme, Universal composability
2	Sebastian Gajek	A Universally Composable Framework for the Analysis of Browser-Based Security Protocols.	ProvSec	2008	DBLP DOI BibTeX RDF	browser-based protocols, security model, Universal Composability
2	Jun Furukawa, Frederik Armknecht, Kaoru Kurosawa	A Universally Composable Group Key Exchange Protocol with Minimum Communication Effort.	SCN	2008	DBLP DOI BibTeX RDF	session ID generation, universal composability, Group key exchange
2	Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan	On the Relationships between Notions of Simulation-Based Security.	J. Cryptology	2008	DBLP DOI BibTeX RDF	Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus
2	Masayuki Terada, Kazuki Yoneyama, Sadayuki Hongo, Kazuo Ohta	Modeling Agreement Problems in the Universal Composability Framework.	ICICS	2007	DBLP DOI BibTeX RDF
2	Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao	A Note on the Feasibility of Generalized Universal Composability.	TAMC	2007	DBLP DOI BibTeX RDF
2	Claudia Szabo, Yong Meng Teo	On Syntactic Composability and Model Reuse.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
2	Elham Paikari, Jafar Habibi, Soheil Hassas Yeganeh	Semantic Composability Measure for Semantic Web Services.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
2	Jörn Müller-Quade, Dominique Unruh	Long-Term Security and Universal Composability.	TCC	2007	DBLP DOI BibTeX RDF	long-term security, commitment, zero-knowledge, Universal Composability
2	Paul K. Davis, Andreas Tolk	Observations on new developments in composability and multi-resolution modeling.	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
2	Baoping Lin, Qing Li, Naijie Gu	A Semantic Specification Framework for Analyzing Functional Composability of Autonomous Web Services.	ICWS	2007	DBLP DOI BibTeX RDF
2	Tri Van Le, Mike Burmester, Breno de Medeiros	Universally composable and forward-secure RFID authentication and authenticated key exchange.	ASIACCS	2007	DBLP DOI BibTeX RDF	RFID authentication and key-exchange protocols, anonymity, forward-security, universal composability
2	Tswen-Juh Gu, Nei-Wei Lo, Wei-Ning Yang	Towards a COTS-based service-oriented simulation architecture.	SCSC	2007	DBLP DOI BibTeX RDF	service-oriented simulation architecture, interoperability, high level architecture, composability
2	Andreas Tolk, Saikou Y. Diallo, Charles D. Turnitsa	Model-based data engineering: preparing a paradigm shift towards self-organizing information exchange.	SCSC	2007	DBLP DOI BibTeX RDF	interoperability, composability, system of systems, data engineering
2	Kristian Gjøsteen, Lillian Kråkmo	Universally Composable Signcryption.	EuroPKI	2007	DBLP DOI BibTeX RDF	Secure messaging, signcryption, universal composability
2	Juan A. Garay, Philip D. MacKenzie, Manoj Prabhakaran, Ke Yang	Resource Fairness and Composability of Cryptographic Protocols.	TCC	2006	DBLP DOI BibTeX RDF
2	Levent Yilmaz, Andreas Tolk	Engineering ab initio dynamic interoperability and composability via agent-mediated introspective simulation.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
2	Hessam S. Sarjoughian	Model composability.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
2	Nélio Cacho, Cláudio Sant'Anna, Eduardo Figueiredo, Alessandro F. Garcia, Thaís Vasconcelos Batista, Carlos José Pereira de Lucena	Composing design patterns: a scalability study of aspect-oriented programming.	AOSD	2006	DBLP DOI BibTeX RDF	metrics, design patterns, empirical studies, aspect-oriented programming, composability
2	Jesús F. Almansa, Ivan Damgård, Jesper Buus Nielsen	Simplified Threshold RSA with Adaptive and Proactive Security.	EUROCRYPT	2006	DBLP DOI BibTeX RDF	Threshold RSA, Uni-versal Composability, Proactiveness, Adaptive Security
2	Ran Canetti, Eyal Kushilevitz, Yehuda Lindell	On the Limitations of Universally Composable Two-Party Computation Without Set-Up Assumptions.	J. Cryptology	2006	DBLP DOI BibTeX RDF	Universal composability, Secure two-party computation, Impossibility results
2	Brahim Medjahed, Athman Bouguettaya	A Multilevel Composability Model for Semantic Web Services.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
2	Luís Gomes, João Paulo Barros	Structuring and composability issues in Petri nets modeling.	IEEE Trans. Industrial Informatics	2005	DBLP DOI BibTeX RDF
2	Ke Cao, Puneet Dhawan, Jiang Hu	Library cell layout with Alt-PSM compliance and composability.	ASP-DAC	2005	DBLP DOI BibTeX RDF
2	Slobodan Matic, Thomas A. Henzinger	Trading End-to-End Latency for Composability.	RTSS	2005	DBLP DOI BibTeX RDF
2	Ovidiu Valentin Drugan, Ioanna Dionysiou, David E. Bakken, Thomas Plagemann, Carl H. Hauser, Deborah A. Frincke	On the Importance of Composability of Ad Hoc Mobile Middleware and Trust Management.	ISAS	2005	DBLP DOI BibTeX RDF
2	Michael Spiegel, Paul F. Reynolds Jr., David C. Brogan	A case study of model context for simulation composability and reusability.	Winter Simulation Conference	2005	DBLP DOI BibTeX RDF
2	Hessam S. Sarjoughian, Dongping Huang	A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models.	DS-RT	2005	DBLP DOI BibTeX RDF
2	Jonathan Katz, Ji Sun Shin	Modeling insider attacks on group key-exchange protocols.	ACM Conference on Computer and Communications Security	2005	DBLP DOI BibTeX RDF	universal composability, group key exchange, insider attacks
2	Zhe Dang, Oscar H. Ibarra, Jianwen Su	Composability of Infinite-State Activity Automata.	ISAAC	2004	DBLP DOI BibTeX RDF
2	Manoj Prabhakaran, Amit Sahai	New notions of security: achieving universal composability without trusted setup.	STOC	2004	DBLP DOI BibTeX RDF	environmental security, general composition, generalized environmental security, simulation, secure protocols, secure multi-party computation, universal composability
2	Jens Groth	Evaluating Security of Voting Schemes in the Universal Composability Framework.	ACNS	2004	DBLP DOI BibTeX RDF
2	Yehuda Lindell	General Composition and Universal Composability in Secure Multi-Party Computation.	FOCS	2003	DBLP DOI BibTeX RDF
2	Franck Barbier	Composability for Software Components: An Approach Based on the Whole-Part Theory.	ICECCS	2002	DBLP DOI BibTeX RDF
2	Stephen Kasputis, Henry C. Ng	Model composability: formulating a research thrust: composable simulations.	Winter Simulation Conference	2000	DBLP DOI BibTeX RDF
2	Paul C. Davis, Paul A. Fishwick, C. Michael Overstreet, Claude Dennis Pegden	Model composability as a research investment: responses to the featured paper.	Winter Simulation Conference	2000	DBLP DOI BibTeX RDF
2	Pedro A. Molina, Peter Y. K. Cheung	A Quasi Delay-Insensitive Bus Proposal for Asynchronous Systems.	ASYNC	1997	DBLP DOI BibTeX RDF	Tri-state Buffers, Asynchronous, Composability, Bus, Data Path, Delay-Insensitive, Handshake Circuits
2	Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer	Specification of Realtime Systems Using ASTRAL.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems
2	Charlotte Pii Lunau	A Reflective Architecture for Process Control Applications.	ECOOP	1997	DBLP DOI BibTeX RDF	Adaptability, Reflection, Composability
2	Aris Zakinthinos, E. Stewart Lee	How and why feedback composition fails [secure systems].	CSFW	1996	DBLP DOI BibTeX RDF	feedback composition, generalized noninterference, secure components, n-forward correctability, system designer, security of data, composability, necessary and sufficient conditions, restrictiveness
2	Li Gong, Xiaolei Qian	Computational Issues in Secure Interoperation.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	secure composability, algorithms, computational complexity, interoperability, Computer security, database systems
2	Aris Zakinthinos, E. Stewart Lee	The composability of non-interference [system security].	CSFW	1995	DBLP DOI BibTeX RDF	McCullough's conjecture, noninterference composability, feedback, security of data, system security
2	Jeremy Jacob	A Uniform Presentation of Confidentiality Properties.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	confidentiality properties, information-flow properties, probabilistic security properties, security of data, composability, security property
1	Brian Beckman	Why LINQ matters: cloud composability guaranteed.	Commun. ACM	2012	DBLP DOI BibTeX RDF
1	Osman Balci, James D. Arthur, William F. Ormsby	Achieving reusability and composability with a simulation conceptual model.	J. Simulation	2011	DBLP DOI BibTeX RDF
1	Andreas Tolk, John A. Miller	Enhancing simulation composability and interoperability using conceptual/semantic/ontological models.	J. Simulation	2011	DBLP DOI BibTeX RDF
1	Houda Benali, Narjès Bellamine Ben Saoud	Towards a component-based framework for interoperability and composability in Modeling and Simulation.	Simulation	2011	DBLP DOI BibTeX RDF
1	Mike Rosulek	Universal Composability from Essentially Any Trusted Setup.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Dennis Hofheinz, Victor Shoup	GNUC: A New Universal Composability Framework.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Thomas Ristenpart, Hovav Shacham, Thomas Shrimpton	Careful with Composition: Limitations of Indifferentiability and Universal Composability.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Dafna Kidron, Yehuda Lindell	Impossibility Results for Universal Composability in Public-Key Models and with Fixed Inputs.	J. Cryptology	2011	DBLP DOI BibTeX RDF
1	Juan A. Garay, Philip D. MacKenzie, Manoj Prabhakaran, Ke Yang	Resource Fairness and Composability of Cryptographic Protocols.	J. Cryptology	2011	DBLP DOI BibTeX RDF
1	Serge Fehr, Ran Gelles, Christian Schaffner	Security and Composability of Randomness Expansion from Bell Inequalities	CoRR	2011	DBLP BibTeX RDF
1	Benny Akesson, Anca Mariana Molnos, Andreas Hansson, Jude Angelo Ambrose, Kees Goossens	Composability and Predictability for Independent Application Development, Verification, and Execution.	Multiprocessor System-on-Chip	2011	DBLP DOI BibTeX RDF
1	Everton Carara, Gabriel Marchesan Almeida, Gilles Sassatelli, Fernando Gehm Moraes	Achieving composability in NoC-based MPSoCs through QoS management at software level.	DATE	2011	DBLP DOI BibTeX RDF
1	Christina Brzuska, Marc Fischlin, Bogdan Warinschi, Stephen C. Williams	Composability of bellare-rogaway key exchange protocols.	ACM Conference on Computer and Communications Security	2011	DBLP DOI BibTeX RDF
1	Jin Heo, Praveen Jayachandran, Insik Shin, Dong Wang, Tarek F. Abdelzaher, Xue Liu	OptiTuner: On Performance Composition and Server Farm Energy Minimization Application.	IEEE Trans. Parallel Distrib. Syst.	2011	DBLP DOI BibTeX RDF	Performance composability, energy minimization, data center, software service, server farm
1	Jörn Müller-Quade, Dominique Unruh	Long-Term Security and Universal Composability.	J. Cryptology	2010	DBLP DOI BibTeX RDF
1	Jörn Müller-Quade, Renato Renner	Composability in quantum cryptography	CoRR	2010	DBLP BibTeX RDF
1	Anuj Gupta, Sandeep Hans, Kannan Srinathan, C. Pandu Rangan	On Composability of Reliable Unicast and Broadcast.	ICDCN	2010	DBLP DOI BibTeX RDF
1	Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami	Composability: Perspectives in Ecological Modeling.	ANB	2010	DBLP DOI BibTeX RDF
1	Jerónimo Castrillón, Ricardo Velasquez, Anastasia Stulova, Weihua Sheng, Jianjiang Ceng, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	Trace-based KPN composability analysis for mapping simultaneous applications to MPSoC platforms.	DATE	2010	DBLP BibTeX RDF
1	Juan A. Garay, Aggelos Kiayias, Hong-Sheng Zhou	A Framework for the Sound Specification of Cryptographic Tasks.	CSF	2010	DBLP DOI BibTeX RDF	security definitions, lattices and partial orders, Cryptographic protocols, universal composability
1	Yehuda Afek, Adam Morrison, Moran Tzafrir	Brief announcement: view transactions: transactional model with relaxed consistency checks.	PODC	2010	DBLP DOI BibTeX RDF	relaxed consistency checks, transactional memory, opacity
1	Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao	A note on the feasibility of generalised universal composability.	Mathematical Structures in Computer Science	2009	DBLP DOI BibTeX RDF
1	Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade	Polynomial Runtime and Composability.	IACR Cryptology ePrint Archive	2009	DBLP BibTeX RDF
1	Michael Schulze, Georg Lukas	MLCCA - Multi-Level Composability Check Architecture for Dependable Communication over Heterogeneous Networks.	ETFA	2009	DBLP DOI BibTeX RDF
1	Claudia Szabo, Yong Meng Teo, Simon See	A Time-based Formalism for the Validation of Semantic Composability.	Winter Simulation Conference	2009	DBLP DOI BibTeX RDF
1	Takahiro Matsuda 0002, Kanta Matsuura, Jacob C. N. Schuldt	Efficient Constructions of Signcryption Schemes and Signcryption Composability.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	multi-user security, signcryption, generic construction
1	Mike Burmester, Tri Van Le, Breno de Medeiros, Gene Tsudik	Universally Composable RFID Identification and Authentication Protocols.	ACM Trans. Inf. Syst. Secur.	2009	DBLP DOI BibTeX RDF	authentication and key-exchange protocols, universal composability, RFID security
1	S. Farhat, G. Simco, Frank J. Mitropoulos	Refining and reasoning about nonfunctional requirements.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	software engineering, aspect-oriented programming, nonfunctional requirements
1	M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto	Universally composable contributory group key exchange.	ASIACCS	2009	DBLP DOI BibTeX RDF	universal composition, contributiveness, group key exchange
1	Ralf Küsters, Max Tuengerthal	Computational soundness for key exchange protocols with symmetric encryption.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	simulation-based security, cryptographic protocols, computational soundness
1	Athanasios Bamis, Andreas Savvides	STFL: a spatio temporal filtering language with applications in assisted living.	PETRA	2009	DBLP DOI BibTeX RDF	human activity monitoring, spatiotemporal filtering, actuation, assisted living
1	Chungman Seo, Bernard P. Zeigler	Automating the DEVS modeling and simulation interface to web services.	SpringSim	2009	DBLP DOI BibTeX RDF	dynamic web service invocation, web service execution language, web services, DEVS, WSDL
1	Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu	Formal Analysis of Services Compatibility.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Michel Abdalla, Céline Chevalier, David Pointcheval	Smooth Projective Hashing for Conditionally Extractable Commitments.	CRYPTO	2009	DBLP DOI BibTeX RDF
1	Bruno C. d. S. Oliveira	Modular Visitor Components.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Renuka Sindhgatta, Bikram Sengupta, Karthikeyan Ponnalagu	Measuring the Quality of Service Oriented Design.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF	Service Design Principles, Metrics, Business Process Model, Service Design
1	Aggelos Kiayias, Hong-Sheng Zhou	Zero-Knowledge Proofs with Witness Elimination.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF
1	Seung Geol Choi, Dana Dachman-Soled, Tal Malkin, Hoeteck Wee	Simple, Black-Box Constructions of Adaptively Secure Protocols.	TCC	2009	DBLP DOI BibTeX RDF
1	Yukyong Kim, Kyung-Goo Doh	Formal Identification of Right-Grained Services for Service-Oriented Modeling.	WISE	2009	DBLP DOI BibTeX RDF	business process model, graph clustering, UML activity diagram, Service identification, service granularity
1	Neila Ben Lakhal, Takashi Kobayashi, Haruo Yokota	FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis.	VLDB J.	2009	DBLP DOI BibTeX RDF	QoS, Web services, Composition, Dependability, Failure, Distributed execution, Transaction model
1	Deepak Mathaikutty, Sandeep K. Shukla	Mining metadata for composability of IPs from SystemC IP library.	Design Autom. for Emb. Sys.	2008	DBLP DOI BibTeX RDF
1	Rafael Dowsley, Jeroen van de Graaf, Jörn Müller-Quade, Anderson C. A. Nascimento	On the Composability of Statistically Secure Bit Commitments.	IACR Cryptology ePrint Archive	2008	DBLP BibTeX RDF
1	Akash Kumar, Bart Mesman, Bart D. Theelen, Henk Corporaal, Yajun Ha	Analyzing composability of applications on MPSoC platforms.	Journal of Systems Architecture - Embedded Systems Design	2008	DBLP DOI BibTeX RDF