Search results for "protocol analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Pierre N. Robillard, Patrick d'Astous, Françoise Détienne, Willemien Visser	An empirical method based on protocol analysis to analyze technical review meetings.	CASCON	1998	DBLP DOI BibTeX RDF	cognitive activity, technical review meeting, software engineering, collaborative work, empirical methods, protocol analysis
2	Shu-qiang Huang, Huan-ming Zhang, Guo-xiang Yao	Research of NIDS in IPV6 Based on Protocol Analysis and Pattern Matching.	WKDD	2009	DBLP DOI BibTeX RDF
2	Bryan Robbins, Jeffrey Carver	Cognitive factors in perspective-based reading (PBR): A protocol analysis study.	ESEM	2009	DBLP DOI BibTeX RDF
2	Walter C. Mankowski, Peter Bogunovich, Ali Shokoufandeh, Dario D. Salvucci	Finding canonical behaviors in user protocols.	CHI	2009	DBLP DOI BibTeX RDF	sequential data analysis, web browsing, protocol analysis
2	Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto	A symbolic framework for multi-faceted security protocol analysis.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Automated verification tools, Formal verification, Security protocols, Symbolic model checking
2	Tim Reichert, Edmund Klaus, Wolfgang Schoch, Ansgar Meroth, Dominikus Herzberg	A language for advanced protocol analysis in automotive networks.	ICSE	2008	DBLP DOI BibTeX RDF	automotive systems engineering, protocol analysis, protocol specifications
2	Ralf Küsters, Tomasz Truderung	Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	security protocols, algebraic properties
2	Cas J. F. Cremers	Unbounded verification, falsification, and characterization of security protocols by pattern refinement.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	falsification, security protocol analysis, unbounded verification, characterization
2	Cas J. F. Cremers	On the protocol composition logic PCL.	ASIACCS	2008	DBLP DOI BibTeX RDF	security protocol analysis, composition, logic
2	Patrick Düssel, Christian Gehl, Pavel Laskov, Konrad Rieck	Incorporation of Application Layer Protocol Syntax into Anomaly Detection.	ICISS	2008	DBLP DOI BibTeX RDF	Anomaly Detection, Web Security, Protocol Analysis
2	Cheng Yi, Zhenhui Jiang	The Antecedents of Online Consumers' Perceived Usefulness of Website: A Protocol Analysis Approach.	HCI	2007	DBLP DOI BibTeX RDF	Product presentation, vividness, interactivity, information quality, perceived usefulness
2	Qingfeng Chen, Shichao Zhang, Yi-Ping Phoebe Chen	Identifying Dependency Between Secure Messages for Protocol Analysis.	KSEM	2007	DBLP DOI BibTeX RDF
2	Stephen Owen, Pearl Brereton, David Budgen	Protocol analysis: a neglected practice.	Commun. ACM	2006	DBLP DOI BibTeX RDF
2	Jonathan Herzog	Applying protocol analysis to security device interfaces.	IEEE Security & Privacy	2006	DBLP DOI BibTeX RDF
2	James Heather, Steve Schneider	To infinity and beyond or, avoiding the infinite in security protocol analysis.	SAC	2006	DBLP DOI BibTeX RDF	model checking, security protocols, strand spaces
2	Shai Rubin, Somesh Jha, Barton P. Miller	Protomatching network traffic for high throughputnetwork intrusion detection.	ACM Conference on Computer and Communications Security	2006	DBLP DOI BibTeX RDF	intrusion detection, signatures, protocol analysis
2	Cheng Xu, Fei Yu, Zhenghui Dai, Guangxue Yue, Renfa Li	Data Distribution Algorithm of High-Speed Intrusion Detection system Based on Network Processor.	SKG	2006	DBLP DOI BibTeX RDF	Data Distribution Algorithm, Intrusion Detection, Network Processor, Protocol analysis
2	Seungkeun Song, Joohyeon Lee, Jun Jo	The Analysis of Game Playing Experiences: Focusing on Massively Multiplayer Online Role-Playing Game.	ICHIT	2006	DBLP DOI BibTeX RDF	Problem Solving Theory, Play Theory, Game Design, Affordance, MMORPG, Protocol Analysis, Analytical Framework
2	Jingmin Zhou, Adam J. Carlson, Matt Bishop	Verify Results of Network Intrusion Alerts Using Lightweight Protocol Analysis.	ACSAC	2005	DBLP DOI BibTeX RDF
2	Dieter Gollmann	Protocol Analysis for Concrete Environments.	EUROCAST	2005	DBLP DOI BibTeX RDF
2	Jose Antonio Onieva, Jianying Zhou, Javier Lopez	Attacking an Asynchronous Multi-party Contract Signing Protocol.	INDOCRYPT	2005	DBLP DOI BibTeX RDF	multi-party contract signing, security protocol analysis, Secure electronic commerce
2	Sigrid Gürgens, Carsten Rudolph	Security analysis of efficient (Un-)fair non-repudiation protocols.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Asynchronous product automata, Fairness, Non-repudiation, Protocol analysis
2	Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland	Complementing Computational Protocol Analysis with Formal Specifications.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
2	Janica Edmonds, Mauricio Papa	Cryptographic Protocol Analysis using Goal Extraction.	ITCC	2004	DBLP DOI BibTeX RDF
2	Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch	Protocol Analysis in Intrusion Detection Using Decision Tree.	ITCC	2004	DBLP DOI BibTeX RDF
2	Jeffrey Van Baalen, Thomas Böhne	Automated Protocol Analysis in Maude.	FAABS	2002	DBLP DOI BibTeX RDF
2	Joseph Y. Halpern, Riccardo Pucella	Modeling Adversaries in a Logic for Security Protocol Analysis.	FASec	2002	DBLP DOI BibTeX RDF
2	John C. Mitchell	Multiset Rewriting and Security Protocol Analysis.	RTA	2002	DBLP DOI BibTeX RDF
2	Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron	The AVISS Security Protocol Analysis Tool.	CAV	2002	DBLP DOI BibTeX RDF
2	Norio Ishii, Kazuhisa Miwa	Interactive processes between mental and external operations in creative activity: a comparison of experts' and novices' performance.	Creativity & Cognition	2002	DBLP DOI BibTeX RDF	external operation, mental operation, expertise, cognitive processes, protocol analysis
2	Ho-Yen Chang, Shyhtsun Felix Wu, Y. Frank Jou	Real-time protocol analysis for detecting link-state routing protocol attacks.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	OSPF attacks, knowledge-based IDS, link-state routing protocol security, real-time misuse intrusion detection, real-time network protocol analysis, timed finite state machine, event correlation
2	Yuqing Zhang, Chunling Wang, Jianping Wu, Xing Li	Using SMV for Cryptographic Protocol Analysis: A Case Study.	Operating Systems Review	2001	DBLP DOI BibTeX RDF
2	Catherine Meadows	Open Issues in Formal Methods for Cryptographic Protocol Analysis.	MMM-ACNS	2001	DBLP DOI BibTeX RDF
2	Stuart K. Card, Peter Pirolli, Mija M. Van Der Wege, Julie Bauer Morrison, Robert W. Reeder, Pamela K. Schraedley, Jenea Boshart	Information scent as a driver of Web behavior graphs: results of a protocol analysis method for Web usability.	CHI	2001	DBLP DOI BibTeX RDF	Web behavior graph, Weblogger, web-eyemapper, protocol analysis, Web usability, information foraging, information scent
2	John C. Mitchell	Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
2	Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck	The faithfulness of abstract protocol analysis: message authentication.	ACM Conference on Computer and Communications Security	2001	DBLP DOI BibTeX RDF
2	Dario D. Salvucci	An interactive model-based environment for eye-movement protocol analysis and visualization.	ETRA	2000	DBLP DOI BibTeX RDF	visualization, tracing, eye movements, protocol analysis
2	Sheng-Tun Li, Li-Yen Shue, Weissor Shiue	The Development of a Short-Term Liquidity Decision Model via Protocol Analysis and Probabilistic Neural Networks. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF
2	Catherine Meadows	Invariant Generation Techniques in Cryptographic Protocol Analysis. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF
2	Anneliese von Mayrhauser, Stephen Lang	A Coding Scheme to Support Systematic Analysis of Software Comprehension.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Software maintenance, program comprehension, protocol analysis
2	Jonathan K. Millen, Hai-Ping Ko	Narrowing terminates for encryption.	CSFW	1996	DBLP DOI BibTeX RDF	term replacement rules, reduction properties, symbolic encryption operations, narrowing steps, infinite sequence, popular abstract encryption operators, terminating algorithm, cryptography, encryption, access protocols, protocol analysis
2	Nevin Heintze, J. D. Tygar	A Model for Secure Protocols and Their Compositions.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	logic of authentication, protocols-composition of, security, model, model checking, communication, Authentication, formal methods, cryptography, protocols, composition, time, computer security, clocks, protocol analysis, protocol analysis, timed models
2	Rajashekar Kailar	Accountability in Electronic Commerce Protocols.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	electronic commerce, logic, cryptographic protocols, Accountability, formal analysis, protocol analysis
2	C. V. Ramamoorthy, Yuh Yaw	A petri net reduction algorithm for protocol analysis.	SIGCOMM	1986	DBLP DOI BibTeX RDF
2	Donald A. Waterman, Allen Newell	PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	Cryptarithmetic, hypothesis formation, problem space, natural language processing, protocol analysis, production system, model building
1	Daniel J. Dougherty, Joshua D. Guttman	Symbolic Protocol Analysis for Diffie-Hellman	CoRR	2012	DBLP BibTeX RDF
1	Maria-Camilla Fiazza, Michele Peroli, Luca Viganò	Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]	CoRR	2011	DBLP BibTeX RDF
1	Ralf Küsters, Tomasz Truderung	Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach.	J. Autom. Reasoning	2011	DBLP DOI BibTeX RDF
1	Paul Ward, Joel Suss, David W. Eccles, A. Mark Williams, Kevin R. Harris	Skill-based differences in option generation in a complex task: a verbal protocol analysis.	Cognitive Processing	2011	DBLP DOI BibTeX RDF
1	Sreekanth Malladi	Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR.	TOSCA	2011	DBLP DOI BibTeX RDF
1	S. Rajesh Bansode, Vikas Kaul, P. Bhushankumar Nemade, Manoj Yadav, Swati Singh, Ashutosh Singh	Network traffic monitoring using protocol analysis tool to achieve QoS.	ICWET	2011	DBLP DOI BibTeX RDF
1	Alessandro Armando, Gavin Lowe (eds.)	Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers	ARSPA-WITS	2011	DBLP DOI BibTeX RDF
1	Kristian Gjøsteen, George Petrides, Asgeir Steine	A Novel Framework for Protocol Analysis.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Sujuan Zhang, Yanli Zhang, Zhijie Fan	Study of Flow Control System Model Based on Bypass Protocol Analysis.	ICICA	2011	DBLP DOI BibTeX RDF
1	Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse	Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.	PPDP	2011	DBLP DOI BibTeX RDF
1	Maria-Camilla Fiazza, Michele Peroli, Luca Viganò	Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis.	SECRYPT	2011	DBLP BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Andreas Vogt	Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	privacy, voting, protocol analysis, verifiability, coercion-resistance
1	Giampaolo Bella	The principle of guarantee availability for security protocol analysis.	Int. J. Inf. Sec.	2010	DBLP BibTeX RDF
1	Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch	Efficient decision tree for protocol analysis in intrusion detection.	IJSN	2010	DBLP DOI BibTeX RDF
1	Liang Hu, Kuo Tang, Yu Ku, Kuo Zhao	Improvement on Intrusion Detection Technology Based on Protocol Analysis and Pattern Matching.	JCIT	2010	DBLP BibTeX RDF
1	Yannick Chevalier, Michaël Rusinowitch	Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Minghong Lin, John C. S. Lui, Dah-Ming Chiu	An ISP-Friendly File Distribution Protocol: Analysis, Design, and Implementation.	IEEE Trans. Parallel Distrib. Syst.	2010	DBLP DOI BibTeX RDF	File distribution protocol, BitTorrent, ISP-friendly
1	Shrirang Ambaji Kulkarni, G. Raghavendra Rao	A Group Vehicular Mobility Model for Routing Protocol Analysis in Mobile Ad Hoc Network	CoRR	2010	DBLP BibTeX RDF
1	Sreekanth Malladi	Disabling equational theories in unification for cryptographic protocol analysis through tagging	CoRR	2010	DBLP BibTeX RDF
1	Benedikt Westermann, Rolf Wendolsky, Lexi Pimenidis, Dogan Kesdogan	Cryptographic Protocol Analysis of AN.ON.	Financial Cryptography	2010	DBLP DOI BibTeX RDF
1	Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer	Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA.	STM	2010	DBLP DOI BibTeX RDF
1	Sylwia Antonina Romaszko, Jean Carle	Ad hoc routing protocol analysis in civil safety context.	Med-Hoc-Net	2010	DBLP DOI BibTeX RDF
1	Riccardo Focardi, Flaminia L. Luccio	Secure Upgrade of Hardware Security Modules in Bank Networks.	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Paolo Modesti	AnBx - Security Protocols Design and Verification.	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Trajce Dimkov, Wolter Pieters, Pieter H. Hartel	Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain.	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Stefano Calzavara, Damiano Macedonio	Secrecy and Authenticity Types for Secure Distributed Messaging.	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Flemming Nielson, Han Gao, Hanne Riis Nielson	The CaPiTo Approach to Protocol Validation - (Invited Talk).	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh	Towards Automatic Analysis of Election Verifiability Properties.	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Andrea Falcone, Riccardo Focardi	Formal Analysis of Key Integrity in PKCS#11.	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Mário Pires, Luís Caires	A Type System for Access Control Views in Object-Oriented Languages.	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Gabriele Costa, Pierpaolo Degano, Fabio Martinelli	Modular Plans for Secure Service Composition.	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Aaron D. Jaggard, Catherine Meadows, Michael Mislove, Roberto Segala	Reasoning about Probabilistic Security Using Task-PIOAs.	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés	Interactive Information Flow - (Invited Talk).	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Matteo Centenaro, Riccardo Focardi	Match It or Die: Proving Integrity by Equality.	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Shi Lan, Shao Xia, Zhao Ying	Design and Implementation of ICAP-Client Based on Improved LRU Algorithm.	IITSI	2010	DBLP DOI BibTeX RDF	ICAP Client, improved LRU, outer virus scanning, Network security, protocol analysis
1	Kejie Lu, Jianfeng Wang, Dapeng Wu, Yuguang Fang	Performance of a burst-frame-based CSMA/CA protocol: Analysis and enhancement.	Wireless Networks	2009	DBLP DOI BibTeX RDF	Unsaturated, Performance, Delay, Analysis, Throughput, MAC, CSMA/CA, High data rate
1	Felix Leder, Peter Martini	NGBPA Next Generation BotNet Protocol Analysis.	SEC	2009	DBLP DOI BibTeX RDF
1	Jie Yang 0016, Yu-ren Zhou	Enhanced Strand Space for Secure Protocol Analysis.	SSME	2009	DBLP DOI BibTeX RDF
1	Pierpaolo Degano, Luca Viganò (eds.)	Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Cas J. F. Cremers, Pascal Lafourcade, Philippe Nadeau	Comparing State Spaces in Automatic Security Protocol Analysis.	Formal to Practical Security	2009	DBLP DOI BibTeX RDF
1	Dieter Hutter, Raul Monroy	On the Automated Correction of Protocols with Improper Message Encoding.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Chiara Bodei, Linda Brodo, Roberto Bruni	Static Detection of Logic Flaws in Service-Oriented Applications.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Gavin Keighren, David Aspinall, Graham Steel	Towards a Type System for Security APIs.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Joshua D. Guttman	Transformations between Cryptographic Protocols.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Peter Y. A. Ryan	How Many Election Officials Does It Take to Change an Election?	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna	Validating Security Protocols under the General Attacker.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Niklas Broberg, David Sands	Improving the Semantics of Imperfect Security.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Massimo Bartoletti	Usage Automata.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Laurent Mazaré, Bogdan Warinschi	Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Adedayo Adetoye, Atta Badii	A Policy Model for Secure Information Flow.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos	Formal Validation of OFEPSP+ with AVISPA.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF	AVISPA, security protocol, Fair exchange, SPAN, formal validation
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	Jan Jürjens, Tjark Weber	Finite Models in FOL-Based Crypto-Protocol Verification.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Alessandro Aldini, Marco Bernardo	A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Ming-Ming Xiao, Shun-Zheng Yu, Yu Wang	Automatic Network Protocol Automaton Extraction.	NSS	2009	DBLP DOI BibTeX RDF	protocol reverse engineering, automaton inference, regular expression, Protocol analysis