FORTE 2008 - PDF Preprint Papers

FORTE 2008 Formal Techniques for Networked and Distributed Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FORTE-2008 Paper

click to vote

FORTE
2008

213views Formal Methods» more FORTE 2008»

Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning

14 years 1 months ago

Download www.cse.ohio-state.edu

Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...

Guoqiang Shu, Yating Hsu, David Lee

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	213	Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning	claim
2	179	Checking Correctness of Transactional Behaviors	claim
3	154	An SMT Approach to Bounded Reachability Analysis of Model Programs	claim
4	152	Model Generation for Horn Logic with Stratified Negation	claim
5	149	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations	claim
6	131	Distributed Semantics and Implementation for Systems with Interaction and Priority	claim
7	117	Parameterized Tree Systems	claim
8	112	Program Repair Suggestions from Graphical State-Transition Specifications	claim
9	107	Protocol Modeling with Model Program Composition	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers