Search results for "protocol model"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Pradeep Kyasanur, Nitin H. Vaidya	Capacity of multichannel wireless networks under the protocol model.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	multiple radios, network capacity, multihop wireless networks, multiple channels
2	Yi Shi, Y. Thomas Hou, Jia Liu, Sastry Kompella	How to correctly use the protocol interference model for multi-hop wireless networks.	MobiHoc	2009	DBLP DOI BibTeX RDF	physical model, multi-hop wireless network, cross-layer optimization, interference modeling, protocol model
2	Christoph Sprenger, David A. Basin	Cryptographically-Sound Protocol-Model Abstractions.	CSF	2008	DBLP DOI BibTeX RDF	cryptographic soundness, formal methods, theorem proving, Cryptographic protocols, simulatability
2	Ashish Agarwal, P. R. Kumar	Capacity bounds for ad hoc and hybrid wireless networks.	Computer Communication Review	2004	DBLP DOI BibTeX RDF	ad hoc networks, wireless networks, physical model, hybrid networks, transport capacity, throughput capacity, protocol model
1	Shukai Cai, Taisuke Izumi, Koichi Wada	How to Prove Impossibility Under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model.	Theory Comput. Syst.	2012	DBLP DOI BibTeX RDF
1	Ke Xu, Meina Song, Junde Song	An improved P2P lookup protocol model.	Cluster Computing	2010	DBLP DOI BibTeX RDF
1	Xiaoxing Yu, Jing Feng	Approaches to nodes choosing protocol model for collaborative MIMO cellular networks.	CNSM	2010	DBLP DOI BibTeX RDF
1	Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis	All Symmetric Predicates in NSPACE(n2) Are Stably Computable by the Mediated Population Protocol Model.	MFCS	2010	DBLP DOI BibTeX RDF
1	Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis	State Space Reduction with Message Inspection in Security Protocol Model Checking	CoRR	2009	DBLP BibTeX RDF
1	Sandeep Raghuwanshi, R. K. Pateria, R. P. Singh	A New Protocol Model for Verification of Payment Order Information Integrity in Online E Payment System.	NaBIC	2009	DBLP DOI BibTeX RDF
1	Xiangdong Li, Qingxian Wang, Xiaoyan Jin	Improvement of BW Multi-party Contract Signing Protocol: Model and Formal Analysis.	CSIE	2009	DBLP DOI BibTeX RDF
1	Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Loosely-Stabilizing Leader Election in Population Protocol Model.	SIROCCO	2009	DBLP DOI BibTeX RDF
1	Michael Dinitz	Brief announcement: distributed algorithms for approximating wireless network capacity.	PODC	2009	DBLP DOI BibTeX RDF	no-regret, approximation algorithms, distributed algorithms, network capacity
1	Karima Mokhtari, Salima Benbernou, Mohsen Rouached, Mohand-Said Hacid, Frank Leymann	Privacy Time-Related Analysis in Business Protocols.	ICWS	2009	DBLP DOI BibTeX RDF
1	Yang Liu 0003, Jun Pang, Jun Sun 0001, Jianhua Zhao	Verification of Population Ring Protocols in PAT.	TASE	2009	DBLP DOI BibTeX RDF
1	Junning Liu, Dennis Goeckel, Donald F. Towsley	Bounds on the throughput gain of network coding in unicast and multicast wireless networks.	IEEE Journal on Selected Areas in Communications	2009	DBLP DOI BibTeX RDF
1	Aditya Karnik, Aravind Iyer, Catherine Rosenberg	What is the right model for wireless channel interference?	IEEE Transactions on Wireless Communications	2009	DBLP DOI BibTeX RDF
1	Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis	Mediated Population Protocols.	ICALP	2009	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle, Graham Steel	Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis	Recent Advances in Population Protocols.	MFCS	2009	DBLP DOI BibTeX RDF
1	Béla Genge, Piroska Haller	Towards Automated Secure Web Service Execution.	Networking	2009	DBLP DOI BibTeX RDF	automated execution, ontology, Web services, Security protocols
1	Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis	Brief Announcement: Decidable Graph Languages by Mediated Population Protocols.	DISC	2009	DBLP DOI BibTeX RDF
1	Stephan Bohacek, Peng Wang	Communication models for throughput optimization in mesh networks.	PE-WASUN	2008	DBLP DOI BibTeX RDF	capacity optimization, mesh network, communication model
1	Ritesh Maheshwari, Shweta Jain, Samir R. Das	A measurement study of interference modeling and scheduling in low-power wireless networks.	SenSys	2008	DBLP DOI BibTeX RDF	tdma, interference model
1	WanXia Qu, Yang Guo, Zhengbin Pang, Xiaodong Yang	Efficient Verification of Parameterized Cache Coherence Protocols.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Alfredo Pironti, Riccardo Sisto	Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models.	ARES	2008	DBLP DOI BibTeX RDF
1	Wei Cheng, Zhenhua Tan, Xiaoxing Gao, Guiran Chang, Jia Wen	High Speed Serial Interface & Some Key Technology Research.	ISECS	2008	DBLP DOI BibTeX RDF	SerDes, Bridge connection chip, High-speed serial interface
1	Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed	Event-B based invariant checking of secrecy in group key protocols.	LCN	2008	DBLP DOI BibTeX RDF
1	Jun Pang, Zhengqin Luo, Yuxin Deng	On Automatic Verification of Self-Stabilizing Population Protocols.	TASE	2008	DBLP DOI BibTeX RDF	Model checking, Formal verification, Spin, Population protocols
1	Ritesh Madan, Devavrat Shah, Olivier Lévêque	Product Multicommodity Flow in Wireless Networks.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
1	Guoqiang Shu, Yating Hsu, David Lee	Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning.	FORTE	2008	DBLP DOI BibTeX RDF	Fuzz testing, Security Testing, Protocol Synthesis
1	Dana Angluin, James Aspnes, David Eisenstat	Fast computation by population protocols with a leader.	Distributed Computing	2008	DBLP DOI BibTeX RDF
1	Jun Pang, Zhengqin Luo, Yuxin Deng	On automatic verification of self-stabilizing population protocols.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	model checking, verification, distributed algorithms, population protocols
1	Taesoo Jun, Christine Julien	Automated routing protocol selection in mobile ad hoc networks.	SAC	2007	DBLP DOI BibTeX RDF	routing protocol selection, target deployment, MANET, protocol model
1	Thomas Moscibroda	The worst-case capacity of wireless sensor networks.	IPSN	2007	DBLP DOI BibTeX RDF	scheduling complexity, capacity, data gathering
1	J. J. Garcia-Luna-Aceves, Hamid R. Sadjadpour, Zheng Wang	Challenges: towards truly scalable ad hoc networks.	MOBICOM	2007	DBLP DOI BibTeX RDF	multicast capacity, unicast capacity, ad hoc networks, network coding, multihop wireless networks, multipacket reception
1	Agustin Barberis, Leonardo Barboni, Maurizio Valle	Evaluating Energy Consumption in Wireless Sensor Networks Applications.	DSD	2007	DBLP DOI BibTeX RDF
1	Mingqiu Song, Xiangpei Hu, Jiahua Li, Guishi Deng	An Authentication Model Involving Trusted Third Party for M-Commerce.	ICMB	2007	DBLP DOI BibTeX RDF
1	Alireza Keshavarz-Haddad, Rudolf H. Riedi	On the Broadcast Capacity of Multihop Wireless Networks: Interplay of Power, Density and Interference.	SECON	2007	DBLP DOI BibTeX RDF
1	Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani	Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols.	ER	2007	DBLP DOI BibTeX RDF
1	Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn	Verifying Smart Card Applications: An ASM Approach.	IFM	2007	DBLP DOI BibTeX RDF
1	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert	Secretive Birds: Privacy in Population Protocols.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Rob Delicata, Steve Schneider	An algebraic approach to the verification of a class of Diffie-Hellman protocols.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Protocol verification, Diffie-Hellman
1	Takashi Ikegawa, Yukio Takahashi	Sliding window protocol with selective-repeat ARQ: performance modeling and analysis.	Telecommunication Systems	2007	DBLP DOI BibTeX RDF	Selective-repeat ARQ, Cumulative acknowledgement, Throughput restraint effect, TCP-SACK, Sliding window protocol
1	Pavel Parizek, Frantisek Plasil, Jan Kofron	Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.	SEW	2006	DBLP DOI BibTeX RDF	cooperation of model checkers, model checking, software components, behavior protocols
1	Prateek R. Kapadia, Om P. Damani	Interference-constrained wireless coverage in a protocol model.	MSWiM	2006	DBLP DOI BibTeX RDF	wireless network coverage and interference, computational geometry
1	Alireza Keshavarz-Haddad, Vinay J. Ribeiro, Rudolf H. Riedi	Broadcast capacity in multihop wireless networks.	MOBICOM	2006	DBLP DOI BibTeX RDF	broadcast capacity, unicast capacity, ad hoc networks, multihop wireless networks, broadcast scheme
1	Mohsen Guizani	Security and Trust in Mobile Ad Hoc Networks.	CNSR	2006	DBLP DOI BibTeX RDF
1	Zeeshan Furqan, Shahabuddin Muhammad, Ratan K. Guha	Formal Verification of 802.11i using Strand Space Formalism.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
1	Dheeraj Reddy, George F. Riley, Bryan Larish, Yang Chen	Measuring and Explaining Differences in Wireless Simulation Models.	MASCOTS	2006	DBLP DOI BibTeX RDF
1	Jinpeng Huai, Xianxian Li, Wenyi Zhang, Jun Han, Yongzhen Zhuang	A Software Protocol of Goals and Operations Based on BDI Model.	SUTC	2006	DBLP DOI BibTeX RDF
1	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert	When Birds Die: Making Population Protocols Fault-Tolerant.	DCOSS	2006	DBLP DOI BibTeX RDF
1	Hee-Un Park, Dong-Myung Shin	Intelligent Anonymous Secure E-Voting Scheme.	KES	2006	DBLP DOI BibTeX RDF	Anonymous Secure Selection, Intelligent Magic Sticker, Anonymous Authentication
1	Dana Angluin, James Aspnes, David Eisenstat	Fast Computation by Population Protocols with a Leader.	DISC	2006	DBLP DOI BibTeX RDF
1	Michael Backes, Thomas Groß	Tailoring the Dolev-Yao abstraction to web services realities.	SWS	2005	DBLP DOI BibTeX RDF	Dolev Yao, security proof of protocols, formal method, tool support, security analysis, web services security, federated identity management, protocol model
1	Ramaswamy Ramanujam, S. P. Suresh	Deciding knowledge properties of security protocols.	TARK	2005	DBLP DOI BibTeX RDF
1	Yan Yao, Weiming Fu, Shiyong Zhang	Gossip-based Multicast Loss Recovery Mechanisms in Group Key Distribution.	CIT	2005	DBLP DOI BibTeX RDF
1	Makoto Oya, Masumi Ito	Dynamic Model Harmonization Between Unknown eBusiness Systems.	I3E	2005	DBLP DOI BibTeX RDF	model harmonization, exposed model, business resource definition, model reduction algorithm, interface, behavior, business protocol
1	Rob Delicata, Steve A. Schneider	A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
1	Zheng Qin, Na Li, Da-Fang Zhang, Nai-Zheng Bian	Improvement of Protocol Anomaly Detection Based on Markov Chain and Its Application.	ISPA Workshops	2005	DBLP DOI BibTeX RDF	Protocol Anomaly Detection, Chi-Square Distance, DARPA Evaluation Dataset, Intrusion Detection, Markov Chain
1	Ralf Küsters	On the decidability of cryptographic protocols with open-ended data structures.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Complexity, Cryptographic protocols, Decidability, Transducers
1	Mohammad S. Obaidat, D. G. Green	An adaptive protocol model for IEEE 802.11 wireless LANs.	Computer Communications	2004	DBLP DOI BibTeX RDF
1	Michele Garetto, Renato Lo Cigno, Michela Meo, Marco Ajmone Marsan	Closed queueing network models of interacting long-lived TCP flows.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	performance analysis, TCP, analytical models, queueing networks, protocol modeling
1	Yu-Tong He, Ryszard Janicki	Verification of the WAP Transaction Layer.	SEFM	2004	DBLP DOI BibTeX RDF
1	Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò	A Formalization of Off-Line Guessing for Security Protocol Analysis.	LPAR	2004	DBLP DOI BibTeX RDF
1	Ralf Küsters, Thomas Wilke	Automata-Based Analysis of Recursive Cryptographic Protocols.	STACS	2004	DBLP DOI BibTeX RDF
1	Chia-Chu Chiang	Development of Reusable Components through the Use of Adapters. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF	Middleware and Reusability, Adapters, Interoperability, Components
1	Nguyen Truong Thang, Takuya Katayama	Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects.	IWPSE	2003	DBLP DOI BibTeX RDF
1	Sherif G. Aly, Ashraf M. Salem	Java Based Co-Verification of Expedited Mobile Device.	IWSOC	2003	DBLP DOI BibTeX RDF
1	Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron	Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions.	CSL	2003	DBLP DOI BibTeX RDF
1	Chun Ouyang, Jonathan Billington	On Verifying the Internet Open Trading Protocol.	EC-Web	2003	DBLP DOI BibTeX RDF
1	Cheng Li, Weinong Wang	Internet Mail Transfer and Check System Based on Intelligence Mobile Agents. (PDF / PS)	SAINT	2002	DBLP DOI BibTeX RDF	Mail Flooding, Mobile Agents, SPAM
1	Ralf Küsters	On the Decidability of Cryptographic Protocols with Open-Ended Data Structures.	CONCUR	2002	DBLP DOI BibTeX RDF
1	Kenneth L. McMillan	Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
1	Shamim Begum, Meeta Sharma, Ahmed Helmy, Sandeep K. S. Gupta	Systematic Testing of Protocol Robustness: Case Studies on Mobile IP and MARS. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	systematic testing of robustness by evaluation of synthesized scenarios, registration message, MARS server, forward search, multicast address resolution server protocol, protocol robustness, Internet, performance, mobile computing, complexity, protocols, asynchronous transfer mode, ATM, topologies, network topology, error, mobile IP, search problems, multicast communication, STRESS, IP-multicast, network servers, packet radio networks, MIP, MARS, event sequences, land mobile radio, test generation algorithm, home agent, asymptotic complexity
1	Henrik Bengtsson, Elisabeth Uhlemann, Per-Arne Wiberg	Protocol for wireless real-time systems.	ECRTS	1999	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann	The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited.	SPIN	1999	DBLP DOI BibTeX RDF
1	Anthony Kosky, I-Min A. Chen, Victor M. Markowitz, Ernest Szeto	Exploring Heterogeneous Biological Databases: Tools and Applications.	EDBT	1998	DBLP DOI BibTeX RDF
1	Ásgeir Th. Eiríksson	The Formal Design of 1M-gate ASICs.	FMCAD	1998	DBLP DOI BibTeX RDF
1	I-Min A. Chen, Anthony Kosky, Victor M. Markowitz, Ernest Szeto	Constructing and Maintaining Scientific Database Views in the Framework of the Object-Protocol Model.	SSDBM	1997	DBLP BibTeX RDF
1	Andreas Fieger, Axel Böger, Martina Zitterbart	Migrating State Information in Mobile Environments.	FTDCS	1997	DBLP DOI BibTeX RDF
1	K. Ravindran, Ting-Jian Gong	Resource Allocation Control Protocols for Multicast Data Transport.	ICCCN	1997	DBLP DOI BibTeX RDF	Multi-source flow specification, source-destination placement in network topology, shared distribution trees, flow composition strategies, resource control messages, network functional elements
1	I-Min A. Chen, Victor M. Markowitz	An Overview of the Object-Protocol Model (OPM) and OPM Data Management Tools.	Inf. Syst.	1995	DBLP DOI BibTeX RDF
1	Sally Floyd, Van Jacobson, Steven McCanne, Ching-Gung Liu, Lixia Zhang	A Reliable Multicast Framework for Light-Weight Sessions and Application Level Framing.	SIGCOMM	1995	DBLP DOI BibTeX RDF
1	Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori	Extension of protocol synthesis to structured entities.	ICNP	1995	DBLP DOI BibTeX RDF
1	Christian Gehrmann	Secure Multiround Authentication Protocols.	EUROCRYPT	1995	DBLP BibTeX RDF
1	Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori	A synthesis algorithm of a protocol model from a single entity.	FORTE	1994	DBLP BibTeX RDF
1	Victor M. Markowitz, I-Min A. Chen	Data Management Tools for Genomic Applications: A Progress Report.	DEXA	1993	DBLP DOI BibTeX RDF
1	Jakob Nielsen	A Virtual Protocol Model for Computer-Human Interaction.	International Journal of Man-Machine Studies	1986	DBLP DOI BibTeX RDF
1	Claude Girault, C. Chatelain, Serge Haddad	Specification and properties of a cache coherence protocol model.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF	verification, Petri nets, protocols, specification, multiprocessors, memory hierarchy, cache coherence
1	Mohamed G. Gouda, Khe-Sing The	Modeling physical layer protocols using communicating finite state machines.	SIGCOMM	1985	DBLP DOI BibTeX RDF