Search results for "protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Peter A. Moldovyanu, E. Dernova, A. Kostina, Nick A. Moldovyan	Multisignature Protocols and Problem of Simultaneous Signing a Package of Contracts.	IF&GIS	2009	DBLP DOI BibTeX RDF	Collective digital signature, multisignature schemes, Digital signature, Public key, Finite group, Discrete logarithm problem
21	Matthew Small, Xin Yuan 0001	Maximizing MPI point-to-point communication performance on RDMA-enabled clusters with customized protocols.	ICS	2009	DBLP DOI BibTeX RDF	rendezvous protocol, mpi, rdma
21	Al-Abbass Y. Al-Habashneh, Mohamed Hossam Ahmed, Tahir Husain	Adaptive MAC protocols for forest fire detection using Wireless Sensor Networks.	CCECE	2009	DBLP DOI BibTeX RDF
21	Ching Yu Ng, Willy Susilo, Yi Mu 0001, Reihaneh Safavi-Naini	New Privacy Results on Synchronized RFID Authentication Protocols against Tag Tracing.	ESORICS	2009	DBLP DOI BibTeX RDF
21	Rajiv Ramdhany, Paul Grace, Geoff Coulson, David Hutchison 0001	MANETKit: Supporting the Dynamic Deployment and Reconfiguration of Ad-Hoc Routing Protocols.	Middleware	2009	DBLP DOI BibTeX RDF	protocol frameworks, Ad-hoc routing
21	Weizhao Wang, Xiang-Yang Li 0001, Yu Wang 0003, Zheng Sun	Designing Multicast Protocols for Non-Cooperative Networks.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
21	Jie Feng 0005, Lisong Xu	On the Time Scale of TCP-Friendly Admission Control Protocols.	ICC	2008	DBLP DOI BibTeX RDF
21	Volkan Rodoplu, Amir Aminzadeh Gohari	Challenges: automated design of networking protocols.	MobiCom	2008	DBLP DOI BibTeX RDF	automation, network protocol, mac
21	Bhavani Shankar, Kannan Srinathan, C. Pandu Rangan	Alternative Protocols for Generalized Oblivious Transfer.	ICDCN	2008	DBLP DOI BibTeX RDF
21	Yang Xu 0021, Xiaoyao Xie	Analysis of Electronic Commerce Protocols Based on Extended Rubin Logic.	ICYCS	2008	DBLP DOI BibTeX RDF
21	Shan-Hung Wu, Ming-Syan Chen, Chung-Min Chen	Fully Adaptive Power Saving Protocols for Ad Hoc Networks Using the Hyper Quorum System.	ICDCS	2008	DBLP DOI BibTeX RDF
21	Huawei Zhao, Jing Qin 0002, Zhifeng Fang	Converters for Designing Applied Cryptographic Protocols.	EUC (2)	2008	DBLP DOI BibTeX RDF
21	Anahit Martirosyan, Azzedine Boukerche, Richard Werner Nelem Pazzi	A Taxonomy of Cluster-Based Routing Protocols for Wireless Sensor Networks.	ISPAN	2008	DBLP DOI BibTeX RDF	wireless sensor networks, energy-efficiency, cluster-based routing
21	Detlef Kähler, Ralf Küsters, Tomasz Truderung	Infinite State AMC-Model Checking for Cryptographic Protocols.	LICS	2007	DBLP DOI BibTeX RDF
21	Min Song 0002, Jun Wang 0016, Qun Hao	Broadcasting Protocols for Multi-Radio Multi-Channel and Multi-Rate Mesh Networks.	ICC	2007	DBLP DOI BibTeX RDF
21	Qi Duan, Mohit Virendra, Shambhu J. Upadhyaya	On the Hardness of Minimum Cost Blocking Attacks on Multi-Path Wireless Routing Protocols.	ICC	2007	DBLP DOI BibTeX RDF
21	Orhan Cetinkaya, Ali Doganaksoy	Pseudo-Voter Identity (PVID) Scheme for e-Voting Protocols.	ARES	2007	DBLP DOI BibTeX RDF
21	Luis Zarza, Josep Pegueroles, Miguel Soriano	Evaluation Function for Synthesizing Security Protocols by means of Genetic Algorithms.	ARES	2007	DBLP DOI BibTeX RDF
21	Anders Moen Hagalisletto	Validating Attacks on Authentication Protocols.	ISCC	2007	DBLP DOI BibTeX RDF
21	Torsten Braun	Tutorial 2: Communication Protocols in Wireless Sensor Networks.	ISCC	2007	DBLP DOI BibTeX RDF
21	Bok-Min Goi, Raphael C.-W. Phan, Hean-Teik Chuah	Cryptanalysis of Two Non-anonymous Buyer-Seller Watermarking Protocols for Content Protection.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	Security issues in UMS, Authentication in UMS, content protection and DRM, digital watermarking and fingerprinting, protocol
21	Sarah Damiani, Christopher Griffin 0001, Shashi Phoha, Stephen A. Racunas, Christopher Rogan	Verification of Secure Network Protocols in Uncertain Environments.	Int. J. Wirel. Inf. Networks	2006	DBLP DOI BibTeX RDF	pushdown machine, Protocol verification, discrete event control
21	Stavros Toumpis, Andrea J. Goldsmith	New media access protocols for wireless ad hoc networks based on cross-layer principles.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
21	Ran Canetti, Jonathan Herzog	Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.	TCC	2006	DBLP DOI BibTeX RDF
21	Zhihua Tao, Gongyi Wu	An analytical study on routing overhead of two-level cluster-based routing protocols for mobile ad hoc networks.	IPCCC	2006	DBLP DOI BibTeX RDF
21	Senem Velipasalar, Chang Hong Lin, Jason Schlessman, Wayne H. Wolf	Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems.	ICME	2006	DBLP DOI BibTeX RDF
21	Weijia Wang, Lei Hu	Efficient and Provably Secure Generic Construction of Three-Party Password-Based Authenticated Key Exchange Protocols.	INDOCRYPT	2006	DBLP DOI BibTeX RDF	password, key distribution, authenticated key exchange, multi-party protocol
21	Ashok U. Mallya, Munindar P. Singh	Introducing Preferences into Commitment Protocols.	AC	2006	DBLP DOI BibTeX RDF
21	Jiangtao Li 0001, Ninghui Li	A Construction for General and Efficient Oblivious Commitment Based Envelope Protocols.	ICICS	2006	DBLP DOI BibTeX RDF
21	Bhavin Gandhi, Sameer Tilak, Michael J. Lewis, Nael B. Abu-Ghazaleh	Controlling the Coverage of Grid Information Dissemination Protocols.	NCA	2005	DBLP DOI BibTeX RDF
21	Edith Elkind, Helger Lipmaa	Hybrid Voting Protocols and Hardness of Manipulation.	ISAAC	2005	DBLP DOI BibTeX RDF
21	Saad Biaz, Richard O. Chapman, James Pate Williams	RTP and TCP based MIDI over IP protocols.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	MIDI over IP, TCP, RTP, MIDI
21	Kyungsan Cho, Soo-Young Lee, JongEun Kim	Two-Step Hierarchical Protocols for Establishing Session Keys in Wireless Sensor Networks.	ICESS	2005	DBLP DOI BibTeX RDF
21	Yunlei Zhao, Robert H. Deng, Binyu Zang, Yiming Zhao	Practical Zero-Knowledge Arguments from Sigma-Protocols.	WINE	2005	DBLP DOI BibTeX RDF
21	Thomas Groß 0001, Birgit Pfitzmann, Ahmad-Reza Sadeghi	Browser Model for Security Analysis of Browser-Based Protocols.	ESORICS	2005	DBLP DOI BibTeX RDF
21	Ashok U. Mallya, Munindar P. Singh	Incorporating Commitment Protocols into Tropos.	AOSE	2005	DBLP DOI BibTeX RDF
21	Karim Seada, Ahmed Helmy, Sandeep Gupta 0001	A framework for systematic evaluation of multicast congestion control protocols.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
21	Pinar Yolum	Correctness Requirements for Multiagent Commitment Protocols.	ISCIS	2004	DBLP DOI BibTeX RDF
21	Zhiguo Wan, Shuhong Wang 0001	Cryptanalysis of Two Password-Authenticated Key Exchange Protocols.	ACISP	2004	DBLP DOI BibTeX RDF
21	Mohamed Mejri	Chaotic Protocols.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
21	Jichiang Tsai 0001	Systematic Comparisons of RDT Communication-Induced Checkpointing Protocols.	PRDC	2004	DBLP DOI BibTeX RDF
21	Liqun Chen 0002, Caroline Kudla	Identity Based Authenticated Key Agreement Protocols from Pairings.	CSFW	2003	DBLP DOI BibTeX RDF
21	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	A Derivation System for Security Protocols and its Logical Formalization.	CSFW	2003	DBLP DOI BibTeX RDF
21	Kwan-Wu Chin, John Judge, Aidan Williams, Roger G. Kermode	Implementation experience with MANET routing protocols.	Comput. Commun. Rev.	2002	DBLP DOI BibTeX RDF
21	E. N. Elnozahy, Lorenzo Alvisi, Yi-Min Wang, David B. Johnson 0001	A survey of rollback-recovery protocols in message-passing systems.	ACM Comput. Surv.	2002	DBLP DOI BibTeX RDF	rollback-recovery, message logging
21	Christopher L. Barrett, Achla Marathe, Madhav V. Marathe, Martin Drozda	Characterizing the interaction between routing and MAC protocols in ad-hoc networks.	MobiHoc	2002	DBLP DOI BibTeX RDF	ad hoc networks, performance analysis, statistical analysis
21	Hakima Chaouchi, Guy Pujolle, Hossam Afifi, Hahnsang Kim	A trial towards unifying control protocols: COPS versus Radius/DIAMETER and Mobile IP.	MWCN	2002	DBLP DOI BibTeX RDF
21	Matthew Andrews, Baruch Awerbuch, Antonio Fernández 0001, Frank Thomson Leighton, Zhiyong Liu, Jon M. Kleinberg	Universal-stability results and performance bounds for greedy contention-resolution protocols.	J. ACM	2001	DBLP DOI BibTeX RDF	adversarial queuing theory, packet scheduling, end-to-end delay, network stability
21	Dawn Xiaodong Song, Adrian Perrig, Doantam Phan	AGVI - Automatic Generation, Verification, and Implementation of Security Protocols.	CAV	2001	DBLP DOI BibTeX RDF
21	Tadashige Iwao, Yuji Wada, Makoto Okada, Makoto Amamiya	A Framework for the Exchange and Installation of Protocols in a Multi-agent System.	CIA	2001	DBLP DOI BibTeX RDF
21	Ajay Chandra V. Gummalla, John O. Limb	Effect of Turn-Around Times on the Performance of High Speed Ad-hoc MAC Protocols.	NETWORKING	2000	DBLP DOI BibTeX RDF
21	Satish Chandra 0001, Brad Richards, James R. Larus	Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	distributed systems, verification, Domain-specific languages, continuations, cache coherence
21	Jyh-Cheng Chen, Krishna M. Sivalingam, Prathima Agrawal	Performance comparison of battery power consumption in wireless multiple access protocols.	Wirel. Networks	1999	DBLP DOI BibTeX RDF
21	Seungwon Lee, Seong-Min Hong 0001, Hyunsoo Yoon, Yookun Cho	Accelerating Key Establishment Protocols for Mobile Communication.	ACISP	1999	DBLP DOI BibTeX RDF
21	Feng Bao 0001, Robert H. Deng, Wenbo Mao	Efficient and Practical Fair Exchange Protocols with Off-Line TTP.	S&P	1998	DBLP DOI BibTeX RDF
21	Thomas S. Jones, Ahmed Louri	Media Access Protocols For A Scalable Optical Interconnection Network.	ICPP	1998	DBLP DOI BibTeX RDF
21	Chane L. Fullmer, J. J. Garcia-Luna-Aceves	Solutions to Hidden Terminal Problems in Wireless Networks.	SIGCOMM	1997	DBLP DOI BibTeX RDF
21	Stefek Zaba	E-Commerce Payment Protocols: Requirements and Analysis.	CSFW	1996	DBLP DOI BibTeX RDF
21	Colin Boyd, Wenbo Mao	Design and Analysis of Key Exchange Protocols via Secure Channel Identification.	ASIACRYPT	1994	DBLP DOI BibTeX RDF
21	Paul C. van Oorschot	Extending Cryptographic Logics of Belief to Key Agreement Protocols.	CCS	1993	DBLP DOI BibTeX RDF
21	Matti A. Hiltunen, Richard D. Schlichting	Modularizing fault-tolerant protocols.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
21	Ronald V. Book, Friedrich Otto	The Verifiability of Two-Party Protocols.	EUROCRYPT	1985	DBLP DOI BibTeX RDF
21	Richard T. B. Ma, Vishal Misra, Dan Rubenstein	An analysis of generalized slotted-Aloha protocols.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	Markovian decision, MAC protocols, Stackelberg game, Prisoner's Dilemma, slotted-Aloha, short-term fairness
21	Clément Hurlin	Specifying and checking protocols of multithreaded classes.	SAC	2009	DBLP DOI BibTeX RDF	protocols, object-orientation, multithreading, design by contract
21	Joe Hoffert, Douglas C. Schmidt, Aniruddha S. Gokhale	Evaluating Transport Protocols for Real-Time Event Stream Processing Middleware and Applications.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	Pub/Sub Middleware, Data Distribution Service, Metrics, Transport Protocols
21	Ahyoung Lee, Ilkyeun Ra, HwaSung Kim	Performance study of ad hoc routing protocols with gossip-based approach.	SpringSim	2009	DBLP DOI BibTeX RDF	simulation, performance evaluation, ad hoc networks, routing protocols, gossiping
21	Mabroka Ali Mayouf, Zarina Shukur	Using Animation in Active Learning Tool to Detect Possible Attacks in Cryptographic Protocols.	IVIC	2009	DBLP DOI BibTeX RDF	possible attacks, animation, active learning, cryptographic protocols, visual metaphor
21	Béla Genge, Piroska Haller	Middleware for Automated Implementation of Security Protocols.	ESWC	2009	DBLP DOI BibTeX RDF	automated execution, ontologies, Web services, Middleware, security protocols
21	Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali	Towards Safe Design of Synchronous Bus Protocols in Event-B.	SBMF	2009	DBLP DOI BibTeX RDF	synchronous systems, Event-B, parameterized systems, bus protocols
21	Nikolay Borissov, Simon Caton, Omer F. Rana, Aharon Levine	Message Protocols for Provisioning and Usage of Computing Services.	GECON	2009	DBLP DOI BibTeX RDF	Message protocols, Expressing Economic Preferences, SLA
21	Petr Svenda, Lukás Sekanina, Václav Matyás	Evolutionary design of secrecy amplification protocols for wireless sensor networks.	WISEC	2009	DBLP DOI BibTeX RDF	secrecy amplification protocols, wireless sensor networks, evolutionary algorithms, key establishment
21	Alessandro Armando, Luca Compagna	SAT-based model-checking for security protocols analysis.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	SAT-based model checking, Multi-set rewriting, Security protocols, Bounded model checking
21	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
21	Kitae Nahm, Ahmed Helmy, C.-C. Jay Kuo	Cross-Layer Interaction of TCP and Ad Hoc Routing Protocols in Multihop IEEE 802.11 Networks.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF	Wireless communication, Network Protocols, Mobile communication systems
21	Helmut Seidl, Kumar Neeraj Verma	Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	instantiation-based theorem proving, Cryptographic protocols, first-order logic, resolution, Horn clauses
21	Seung Hwan Ryu, Fabio Casati, Halvard Skogsrud, Boualem Benatallah, Régis Saint-Paul	Supporting the dynamic evolution of Web service protocols in service-oriented architectures.	ACM Trans. Web	2008	DBLP DOI BibTeX RDF	ongoing instances, Web services, decision trees, change impact analysis, Business protocols, dynamic evolution
21	Pau Arce, Juan Carlos Guerri, Ana Pajares, Óscar Lázaro	Performance Evaluation of Video Streaming Over Ad Hoc Networks Using Flat and Hierarchical Routing Protocols.	Mob. Networks Appl.	2008	DBLP DOI BibTeX RDF	performance, ad hoc networks, routing protocols, video streaming
21	Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda	A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	Multi-agent Systems, Coloured Petri Nets, Interaction Protocols, Business Processes Integration
21	Laurent Dairaine, Guillaume Jourjon, Emmanuel Lochin, Sebastien Ardon	IREEL: remote experimentation with real protocols and applications over an emulated network.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	quality of service, network, protocols, TCP/IP, emulation
21	Raquel Fernández, Ulle Endriss	Abstract models for dialogue protocols.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Multiagent systems, Communication protocols, Theory of computation, Dialogue modelling
21	Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell	Compiling cryptographic protocols for deployment on the web.	WWW	2007	DBLP DOI BibTeX RDF	CPPL, cryptographic protocols, HTTP, sessions
21	Raj Kumar Rajendran, Vishal Misra, Dan Rubenstein	Theoretical bounds on control-plane self-monitoring in routing protocols.	SIGMETRICS	2007	DBLP DOI BibTeX RDF	rogue node, routing protocols, distance vector, misconfiguration
21	Pau Arce, Juan Carlos Guerri, Ana Pajares, Óscar Lázaro	Performance evaluation of video streaming over ad-hoc networks using flat and hierarchical routing protocols.	MobiMedia	2007	DBLP DOI BibTeX RDF	videostreaming, performance, routing protocols, AdHoc networks
21	Bruce Spencer	Assimilating ontological additions in convergent negotiation protocols.	ICEC	2007	DBLP DOI BibTeX RDF	convergent negotiation, negotiating agents, ontologies, negotiation protocols, assimilation
21	Nicolas Van Wambeke, François Armando, Christophe Chassot, Ernesto Exposito	Architecture and Models for Self-Adaptability of Transport Protocols.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF	Micro Protocols, Quality of Service, Transport Protocol, Self-adaptation, Decision model
21	Pinar Yolum, Munindar P. Singh	Enacting protocols by commitment concession.	AAMAS	2007	DBLP DOI BibTeX RDF	communication, protocols, argumentation
21	Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson	Verifying the SET Purchase Protocols.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	deductive verification, electronic commerce, security protocols, Isabelle, inductive definitions
21	Javier Fabra, Pedro Álvarez 0001, José A. Bañares, Joaquin Ezpeleta	A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems.	Business Process Management	2006	DBLP DOI BibTeX RDF	SOA and Process Management, Horizontal protocols, Nets-within-Nets paradigm, Petri nets, Formal models in BPM
21	Marc P. C. Fossorier, Miodrag J. Mihaljevic, Hideki Imai, Yang Cui 0001, Kanta Matsuura	An Algorithm for Solving the LPN Problem and Its Application to Security Evaluation of the HB Protocols for RFID Authentication.	INDOCRYPT	2006	DBLP DOI BibTeX RDF	LPN problem, HB protocols, RFID authentication, cryptanalysis, fast correlation attacks
21	YoungJoon Byun, Beverly A. Sanders	A pattern-based development methodology for communication protocols.	SAC	2005	DBLP DOI BibTeX RDF	design pattern, communication protocols, pattern language, development methodology, SPIN model checker
21	Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer	A Java Implementation of a Component Model with Explicit Symbolic Protocols.	SC@ETAPS	2005	DBLP DOI BibTeX RDF	Behavioural IDL, Explicit Protocols, Symbolic Transition Systems, Java, Controllers, Channels, CBSE
21	Alaaeddine Fellah, John Mullins	Admissible Interference by Typing for Cryptographic Protocols.	ICICS	2005	DBLP DOI BibTeX RDF	Admissible interference, Type systems, Process Algebra, Cryptographic Protocols, Security Properties
21	Madieyna Lamine Fall, Sylvain Delisle	A software tool for the development of MAS communication protocols based on conversations.	AAMAS	2005	DBLP DOI BibTeX RDF	MAS, software tools, communication protocols, conversations, development environments
21	Feng Zhou, Chunhong Chen, Dawei Jin, Chenling Huang, Hao Min	Evaluating and optimizing power consumption of anti-collision protocols for applications in RFID systems.	ISLPED	2004	DBLP DOI BibTeX RDF	anti-collision protocols, low power, radio-frequency identification
21	S. Subramaniam 0002, Ed Komp, Mohan Kannan, Gary J. Minden	Building a Reliable Multicast Service Based on Composite Protocols for Active Networks.	IWAN	2004	DBLP DOI BibTeX RDF	protocol components, composite protocols, composable services, Active networks
21	Jichiang Tsai 0001	On Properties of RDT Communication-Induced Checkpointing Protocols.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	rollback-dependency trackability, communication-induced checkpointing protocols, fault tolerance, Distributed systems, rollback-recovery
21	Hongbin Zhou, Simon N. Foley	Fast automatic synthesis of security protocols using backward search.	FMSE	2003	DBLP DOI BibTeX RDF	backward search, security protocols, automatic generation, belief logic
21	Xiangming Fang, Shoubao Yang, Leitao Guo, Lei Zhang	Research on Security Architecture and Protocols of Grid Computing System.	GCC (1)	2003	DBLP DOI BibTeX RDF	Grid Computing System, Security Abstract, Grid Security Protocols, Broker
21	Paul E. Dunne, Peter McBurney	Optimal utterances in dialogue protocols.	AAMAS	2003	DBLP DOI BibTeX RDF	argumentation and persuasion, dialogue protocols, locution selection, computational complexity, agent communication languages
21	Boris Koldehofe	Buffer Management in Probabilistic Peer-to-Peer Communication Protocols.	SRDS	2003	DBLP DOI BibTeX RDF	multipeer communication, evaluation, networking, gossiping, peer-to-peer communication, fault tolerant protocols, fault tolerant communication