Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

TAICPART
2010
IEEE

favoriteEmaildiscussreport

166views Education» more TAICPART 2010»

Linguistic Security Testing for Text Communication Protocols

13 years 3 months ago

Linguistic Security Testing for Text Communication Protocols

Download post.queensu.ca

We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol specification of a particular text-based protocol under-tested represents its syntactic grammar and static constraints. The specification is used to generate test cases by mutating valid messages, breaking the syntactic and constraints of the protocol. The framework is demonstrated using a toy Web application and the open source application KOrganizer.

Ben W. Y. Kam, Thomas R. Dean

Real-time Traffic

Education | Particular Text-based Protocol | Protocol Specification | TAICPART 2010 | Text-based Communication Protocols |

claim paper

Related Content

» Unsupervised Learningbased Anomalous Arabic Text Detection

» Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learnin...

» Testing Security Properties of Protocol Implementations a Machine Learning Based Approach

» Deciding Security for Protocols with Recursive Tests

» Approaches to Formal Verification of Security Protocols

» Building Systematic Reviews Using Automatic Text Classification Techniques

» Secure wireless communication platform for EVtoGrid research

» Uncovering Attacks on Security Protocols

» Maintaining High Performance Communication Under Least Privilege Using Dynamic Perimeter C...

Post Info
More Details (n/a)

Added	30 Jan 2011
Updated	30 Jan 2011
Type	Journal
Year	2010
Where	TAICPART
Authors	Ben W. Y. Kam, Thomas R. Dean

Comments (0)