Composability - PDFSEARCH.IO - Document Search Engine

Composability
Results: 80

#	Item
61	POLLING WITH PHYSICAL ENVELOPES: A RIGOROUS ANALYSIS OF A HUMAN-CENTRIC PROTOCOL∗ TAL MORAN† AND MONI NAOR‡ Abstract. We propose simple, realistic protocols for polling that allow the responder to plausibly repudia Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2006-06-14 09:27:06 Universal composability Zero-knowledge proof Communications protocol Protocol Proof of knowledge Cryptographic protocols Data Information
62	Initiator-Resilient Universally Composable Key Exchange Dennis Hofheinz, J¨orn M¨ uller-Quade, and Rainer Steinwandt IAKS, Arbeitsgruppe Systemsicherheit, Prof. Dr. Th. Beth, Fakult¨ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2003-11-25 06:20:23 Diffie–Hellman key exchange Public-key cryptography Diffie–Hellman problem Decisional Diffie–Hellman assumption XTR Internet Key Exchange Commitment scheme Cryptography Cryptographic protocols Universal composability
63	04041 Abstracts Collection Dagstuhl Seminar Component-Based Modeling and Simulation Fernando J. Barros1 , Axel Lehmann2 , Peter Liggesmeyer3 , Alexander Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2006-03-13 08:47:46 Operations research Science Distributed computing architecture Military technology Military terminology High-level architecture Agent-based model Composability Simulation software Computing Modeling and simulation Scientific modeling
64	Robotics software framework harmonization by means of component composability benchmarks. “The manifolds of four” Herman Bruyninckx Katholieke Universiteit Leuven, Belgium 30 September, 2010 Add to Reading List Source URL: www.best-of-robotics.org Language: English - Date: 2011-07-12 08:53:07 Object-oriented programming Integrated development environments Robot software Component-based software engineering Service-oriented architecture Robotics Composability Robot Software design Software engineering Software architecture Computing
65	LNCS[removed]Semi-automated Simulation Transformation for DDDAS Add to Reading List Source URL: www.dddas.org Language: English - Date: 2005-11-22 11:55:39 Electronic engineering Simulation software Aggregate Level Simulation Protocol Mitre Corporation Software engineering Electronic design automation Composability Simulation High-level architecture Modeling and simulation Distributed computing architecture Computing
66	Dr. Janos Sztipanovits, DARPA/ITO Embedded systems: Information systems tightly integrated with physical processes Problem indicators: Add to Reading List Source URL: archive.darpa.mil Language: English - Date: 2000-10-06 09:18:30 Field-programmable gate array Science Systems science Knowledge Embedded system Composability System
67	Report on DIMACS∗ Workshop on Security Analysis of Protocols Date of workshop: June 7 – 9, 2004 Workshop Organizers: John Mitchell, Stanford University Ran Canetti, IBM Watson Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2005-07-27 15:21:45 Dolev-Yao model Secure multi-party computation Cryptographic primitive Formal verification Communications protocol Transport Layer Security Authentication protocol Secure channel Random oracle Cryptography Cryptographic protocols Universal composability
68	Levels of Conceptual Interoperability Model: Roles and Application Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-08-03 02:14:40 Military terminology Military science Interoperability Conceptual interoperability Military technology Distributed computing architecture Composability High-level architecture Simulation Interoperability Standards Organization Modeling and simulation Software engineering Computing
69	A Framework for Efficient and Composable Oblivious Transfer Chris Peikert SRI International Vinod Vaikuntanathan MIT∗ Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-02-04 10:10:06 Ciphertext indistinguishability Universal composability Oblivious transfer Common reference string model Communications protocol Secure multi-party computation Cryptosystem Cryptography Cryptographic protocols Public-key cryptography
70	General Statistically Secure Computation with Bounded-Resettable Hardware Tokens Nico D¨ottling∗1 , Daniel Kraschewski†2 , J¨orn M¨ uller-Quade3 and Tobias Nilges3 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-07-16 07:08:33 Type–token distinction PP Universal composability Oblivious transfer Security token Proof of knowledge Oracle machine Actor model Cryptography Cryptographic protocols Commitment scheme

UPDATE