Search results for "formal analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane	Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol.	MM&Sec	2008	DBLP DOI BibTeX RDF	buyer-seller watermarking protocol, customer's rights, unbinding, formal model, csp, formal analysis
3	Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian	Automating Software FMEA via Formal Analysis of Dependence Relations.	COMPSAC	2008	DBLP DOI BibTeX RDF	Software FMEA, formal analysis, dependence relations
2	Hong Wang, Jianping Ma, Bo Chen	Formal Analysis of Fairness in E-Payment Protocol Based on Strand Space.	WISM	2009	DBLP DOI BibTeX RDF	e-Payment protocol, iKP, fairness, strand space
2	Nuno Amálio	Suspicion-Driven Formal Analysis of Security Requirements.	SECURWARE	2009	DBLP DOI BibTeX RDF	Security, planning, requirements, confidentiality, formal analysis, separation of duty, Event-Calculus
2	Giampaolo Bella, Pietro Liò	Formal Analysis of the Genetic Toggle.	CMSB	2009	DBLP DOI BibTeX RDF
2	Osman Hasan, Sanaz Khan Afshar, Sofiène Tahar	Formal Analysis of Optical Waveguides in HOL.	TPHOLs	2009	DBLP DOI BibTeX RDF
2	Peeter Laud, Meelis Roos	Formal Analysis of the Estonian Mobile-ID Protocol.	NordSec	2009	DBLP DOI BibTeX RDF
2	Bo Cheng, Xiangtao Lin, Xiaoxiao Hu, Junliang Chen	Formal Analysis for Multimedia Conferencing Communication Services Orchestration.	ICWS	2009	DBLP DOI BibTeX RDF
2	Antonio Cerone, Simon Connelly, Peter A. Lindsay	Formal analysis of human operator behavioural patterns in interactive surveillance systems.	Software and System Modeling	2008	DBLP DOI BibTeX RDF
2	Bruno Blanchet, Avik Chaudhuri	Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	lazy revocation, key rotation, cryptographic access control, automatic verification, secure storage
2	Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang	BackSpace: Formal Analysis for Post-Silicon Debug.	FMCAD	2008	DBLP DOI BibTeX RDF
2	Bo Zhang	Formal Analysis of a Distributed Fault Tolerant Clock Synchronization Algorithm for Automotive Communication Systems.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
2	Sherrie Campbell, Ann E. Kelley Sobel	Supporting the Formal Analysis of Software Systems.	CSSE	2008	DBLP DOI BibTeX RDF
2	Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva	Formal Analysis of Abnormal Excitation in Cardiac Tissue.	CMSB	2008	DBLP DOI BibTeX RDF
2	Ronald Toegl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael Chung-Wei Phan, Roderick Bloem	Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Bo Meng	A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model.	ISIP	2008	DBLP DOI BibTeX RDF	internet voting protocol, formal analysis, coercion-resistance
2	Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró	SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.	ISoLA	2008	DBLP DOI BibTeX RDF
2	Vladimir Pasca, Anca Jurcut, Reiner Dojen, Tom Coffey	Determining a parallel session attack on a key distribution protocol using a model checker.	MoMM	2008	DBLP DOI BibTeX RDF	attacks on security protocols, formal analysis of security protocols, parallel session attack, model checking
2	Tie Bao, Shufen Liu, Feng Yan, Yaorui Wu, Xiaochun Li, Zhanguo Zhang, Shuying Zhang	Network Data Collection Formal Analysis Based on Communication Sequential Process.	CSCWD	2007	DBLP DOI BibTeX RDF
2	Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm	Integration of Formal Analysis into a Model-Based Software Development Process.	FMICS	2007	DBLP DOI BibTeX RDF	Model checking, software verification, Model-based development, Flight control
2	Ann E. Kelley Sobel, Sherrie Campbell	Supporting the Formal Analysis of Software Designs.	CSEE&T	2007	DBLP DOI BibTeX RDF
2	Tibor Bosse, Peter-Paul van Maanen, Jan Treur	Simulation and Formal Analysis of Visual Attention in Cognitive Systems.	WAPCV	2007	DBLP DOI BibTeX RDF
2	Tibor Bosse, Catholijn M. Jonker, Jan Treur, Dmytro Tykhonov	Formal Analysis of Trust Dynamics in Human and Software Agent Experiments.	CIA	2007	DBLP DOI BibTeX RDF	human experiments, Trust, intelligent agents, dynamics
2	Peter Csaba Ölveczky, José Meseguer	Semantics and pragmatics of Real-Time Maude.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Simulation, Real-time systems, Model checking, Formal analysis, Rewriting logic, Object-oriented specification
2	Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker	A formal analysis of bluetooth device discovery.	STTT	2006	DBLP DOI BibTeX RDF	Formal verification, Bluetooth, Probabilistic model checking
2	Fariba Sadri, Francesca Toni	A Formal Analysis of KGP Agents.	JELIA	2006	DBLP DOI BibTeX RDF
2	Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke	Comparing Three Formal Analysis Approaches of the Tropos Family.	AOIS	2006	DBLP DOI BibTeX RDF
2	Antonio Cerone, Peter A. Lindsay, Simon Connelly	Formal Analysis of Human-computer Interaction using Model-checking.	SEFM	2005	DBLP DOI BibTeX RDF
2	Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel	An empirical framework for comparing effectiveness of testing and property-based formal analysis.	PASTE	2005	DBLP DOI BibTeX RDF	model checking, static analysis, empirical software engineering, mutation testing, bug detection
2	Holger Pfeifer, Friedrich W. von Henke	Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.	SAFECOMP	2004	DBLP DOI BibTeX RDF
2	Javier Lopez, Juan J. Ortega, José M. Troya	Applying SDL to Formal Analysis of Security Systems.	SDL Forum	2003	DBLP DOI BibTeX RDF
2	Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli	Formal Anaylsis of Some Timed Security Properties in Wireless Protocols.	FMOODS	2003	DBLP DOI BibTeX RDF	Security, Sensor Networks, Wireless Communication, Formal Analysis
2	Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan	Verisim: Formal Analysis of Network Simulations.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Verisim, packet radio, population abstraction, packet-type abstraction, simulation, routing, ad hoc networks, testing, network, temporal logic, AODV, formal analysis, tuning, MaC, NS
2	Javier Lopez, Juan J. Ortega, José M. Troya	Protocol Engineering Applied to Formal Analysis of Security Systems.	InfraSec	2002	DBLP DOI BibTeX RDF
2	Levente Buttyán, Jean-Pierre Hubaux, Srdjan Capkun	A Formal Analysis of Syverson?s Rational Exchange Protocol.	CSFW	2002	DBLP DOI BibTeX RDF
2	Jianwei Niu, Joanne M. Atlee, Nancy A. Day	Composable semantics for model-based notations.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	model-based notations, communication, concurrency, composition, operational semantics, formal analysis
2	Fang Wei, Georg Lausen	A Formal Analysis of the Lightweight Directory Access Protocol.	ER (Workshops)	2001	DBLP DOI BibTeX RDF
2	Kees M. van Hee, Hajo A. Reijers	Using Formal Analysis Techniques in Business Process Redesign.	Business Process Management	2000	DBLP DOI BibTeX RDF
2	Gregory H. Chisholm, Anthony S. Wojcik	An Application of Formal Analysis to Software in a Fault-Tolerant Environment.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	Formal analysis methodology, modeling and analysis of software and hardware, fault tolerance, automated reasoning
2	Walter Hussak, John A. Keane	Formal Analysis of Memory Requirements.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Memory systems, Parallel applications, Predicate calculus
2	Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa	Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis.	VLSI Design	1999	DBLP DOI BibTeX RDF
2	Volker Kessler, Heike Neumann	A Sound Logic for Analysing Electronic Commerce Protocols.	ESORICS	1998	DBLP DOI BibTeX RDF	logic of authentication, Payword, semantics, Electronic commerce, formal analysis, SET, micropayment
2	Catholijn M. Jonker, Jan Treur	Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness.	COMPOS	1997	DBLP DOI BibTeX RDF
2	Phillip Baraona, Perry Alexander	Representing abstract architectures with axiomatic specifications and activation conditions.	ECBS	1997	DBLP DOI BibTeX RDF	abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications
2	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications. (PDF / PS)	RE	1995	DBLP DOI BibTeX RDF	SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
2	Anand Raghunathan, Pranav Ashar, Sharad Malik	Test generation for cyclic combinational circuits.	VLSI Design	1995	DBLP DOI BibTeX RDF	cyclic combinational circuits, bus structures, single-stuck-at fault test pattern, test generation problem, program RAM, fault diagnosis, logic testing, integrated circuit testing, network topology, combinational circuits, automatic testing, fault coverage, test pattern generators, formal analysis, data paths, testing algorithm, combinational logic circuits, untestable faults
2	Phyllis G. Frankl, Elaine J. Weyuker	A Formal Analysis of the Fault-Detecting Ability of Testing Methods.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software testing criteria, subdomains, subsumption relation, program testing, system recovery, formal analysis, multisets, fault-detecting ability, probabilistic measures
2	Stephen Fickas, B. Robert Helm	Knowledge Representation and Reasoning in the Design of Composite Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	implementation process, human agents, deficiency-driven design, reasoning techniques, formal specification, knowledge representations, knowledge representation, software reusability, inference mechanisms, software prototyping, formal analysis, design reuse, rationalization, incremental design, composite systems, requirements acquisition
2	Ichiro Suzuki	Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
1	Dimitris Gritzalis, Panagiotis Katsaros, Stylianos Basagiannis, Yannis Soupionis	Formal analysis for robust anti-SPIT protection using model checking.	Int. J. Inf. Sec.	2012	DBLP DOI BibTeX RDF
1	Anna Philippou, Insup Lee, Oleg Sokolsky	PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
1	Bo Cheng, Junliang Chen, Min Deng	Petri net based formal analysis for multimedia conferencing services orchestration.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
1	Kawtar Benghazi Akhlaki, María Visitación Hurtado, Miguel J. Hornos, María Luisa Rodríguez, Carlos Rodríguez-Domínguez, Ana Belén Pelegrina Ortiz, María José Rodríguez-Fórtiz	Enabling correct design and formal analysis of Ambient Assisted Living systems.	Journal of Systems and Software	2012	DBLP DOI BibTeX RDF
1	Véronique Cortier, Cyrille Wiedling	A Formal Analysis of the Norwegian E-voting Protocol.	POST	2012	DBLP DOI BibTeX RDF
1	Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov	Reduction-Based Formal Analysis of BGP Instances.	TACAS	2012	DBLP DOI BibTeX RDF
1	Martin Eian, Stig Fr. Mjølsnes	A formal analysis of IEEE 802.11w deadlock vulnerabilities.	INFOCOM	2012	DBLP DOI BibTeX RDF
1	Sophie Quinton, Matthias Hanke, Rolf Ernst	Formal analysis of sporadic overload in real-time systems.	DATE	2012	DBLP BibTeX RDF
1	Antonio Cerone	Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems.	ECEASST	2011	DBLP BibTeX RDF
1	Kun Peng, Ed Dawson, Feng Bao	Modification and optimisation of a shuffling scheme: stronger security, formal analysis and higher efficiency.	Int. J. Inf. Sec.	2011	DBLP DOI BibTeX RDF
1	Hassina Aliane, Zaia Alimazighi	Discovering Arabic structures from texts: what a formal analysis can tell us.	IJCAT	2011	DBLP DOI BibTeX RDF
1	Viara Popova, Alexei Sharpanskykh	Formal analysis of executions of organizational scenarios based on process-oriented specifications.	Appl. Intell.	2011	DBLP DOI BibTeX RDF
1	Ilsun You, Yoshiaki Hori, Kouichi Sakurai	Towards formal analysis of wireless LAN security with MIS protocol.	IJAHUC	2011	DBLP DOI BibTeX RDF
1	Maxime Nassar, Sylvain Guilley, Jean-Luc Danger	Formal Analysis of the Entropy / Security Trade-off in First-Order Masking Countermeasures against Side-Channel Attacks.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám	Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Wojciech Jaskowski, Krzysztof Krawiec	Formal Analysis, Hardness, and Algorithms for Extracting Internal Structure of Test-Based Problems.	Evolutionary Computation	2011	DBLP DOI BibTeX RDF
1	Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita	Formal analysis of an electronic voting system: An experience report.	Journal of Systems and Software	2011	DBLP DOI BibTeX RDF
1	Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky	Formal analysis of MPI-based parallel programs.	Commun. ACM	2011	DBLP DOI BibTeX RDF
1	Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani	Formal Analysis of SystemC Designs in Process Algebra.	Fundam. Inform.	2011	DBLP DOI BibTeX RDF
1	Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen	Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems.	Comput. J.	2011	DBLP DOI BibTeX RDF
1	Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan	Formal Analysis of UMTS Privacy	CoRR	2011	DBLP BibTeX RDF
1	Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan	Formal Analysis of Quantum Systems using Process Calculus	ICE	2011	DBLP DOI BibTeX RDF
1	A. V. Bataev, A. A. Davydov, N. Yu. Nalutin, S. V. Sinitsyn	Test data generation based on a formal analysis of the project configuration data.	Automatic Control and Computer Sciences	2011	DBLP DOI BibTeX RDF
1	Graham Steel	Formal Analysis of Security APIs.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Catherine Meadows	Formal Analysis of Cryptographic Protocols.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Sami Zhioua	Anonymity Attacks on Mix Systems: A Formal Analysis.	Information Hiding	2011	DBLP DOI BibTeX RDF
1	Hongwei Zhou, Jinhui Yuan	Formal Analysis of Trusted Computing: One Case Study.	CMC	2011	DBLP DOI BibTeX RDF
1	Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid	Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer	Synchronous AADL and Its Formal Analysis in Real-Time Maude.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Joeri de Ruiter, Erik Poll	Formal Analysis of the EMV Protocol Suite.	TOSCA	2011	DBLP DOI BibTeX RDF
1	Morten Dahl, Stéphanie Delaune, Graham Steel	Formal Analysis of Privacy for Anonymous Location Based Services.	TOSCA	2011	DBLP DOI BibTeX RDF
1	Ibrahim Aljarah, Shadi Banitaan, Sameer Abufardeh, Wei Jin, Saeed Salem	Selecting discriminating terms for bug assignment: a formal analysis.	PROMISE	2011	DBLP DOI BibTeX RDF
1	Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka	Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking.	HASE	2011	DBLP DOI BibTeX RDF
1	Ashar Javed	Formal Analysis of CWA 14890-1.	CARDIS	2011	DBLP DOI BibTeX RDF
1	Michael Dierkes	Formal Analysis of a Triplex Sensor Voter in an Industrial Context.	FMICS	2011	DBLP DOI BibTeX RDF
1	William Claycomb, Dongwan Shin	Formal analysis of device authentication applications in ubiquitous computing.	SAC	2011	DBLP DOI BibTeX RDF
1	Benjamin Aminof, Orna Kupferman, Robby Lampert	Formal Analysis of Online Algorithms.	ATVA	2011	DBLP DOI BibTeX RDF
1	Haijun Gong, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke	Formal analysis for logical models of pancreatic cancer.	CDC-ECE	2011	DBLP DOI BibTeX RDF
1	Ping Gong, Jianmin Jiang, Shi Zhang	Formal Analysis of OWL-S Process Model by FDR.	APSCC	2011	DBLP DOI BibTeX RDF
1	Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford	FSR: formal analysis and implementation toolkit for safe inter-domain routing.	SIGCOMM	2011	DBLP DOI BibTeX RDF
1	Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel	Formal Analysis of Protocols Based on TPM State Registers.	CSF	2011	DBLP DOI BibTeX RDF	formal verification, TPM
1	Peter Csaba Ölveczky	Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
1	Simone Marchesini, Luca Viganò	A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes.	CRiSIS	2011	DBLP DOI BibTeX RDF
1	Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin	Formal Analysis of Security Metrics and Risk.	WISTP	2011	DBLP DOI BibTeX RDF
1	Leila Amgoud, Srdjan Vesic	A formal analysis of the outcomes of argumentation-based negotiations.	AAMAS	2011	DBLP BibTeX RDF
1	Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige	Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models.	ICECCS	2011	DBLP DOI BibTeX RDF
1	Boulares Ouchenne, Ousmane Koné	Formal analysis of usage control policies.	SIN	2011	DBLP DOI BibTeX RDF
1	Maxime Nassar, Sylvain Guilley, Jean-Luc Danger	Formal Analysis of the Entropy / Security Trade-off in First-Order Masking Countermeasures against Side-Channel Attacks.	INDOCRYPT	2011	DBLP DOI BibTeX RDF
1	Stephen F. Siegel, Ganesh Gopalakrishnan	Formal Analysis of Message Passing - (Invited Talk).	VMCAI	2011	DBLP DOI BibTeX RDF
1	Cas J. F. Cremers	Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2.	ESORICS	2011	DBLP DOI BibTeX RDF
1	Savas Konur, Michael Fisher	Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification.	VTC Spring	2011	DBLP DOI BibTeX RDF