Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Advanced CORBA programming with C++
Advanced CORBA programming with C++
ACM Computing Surveys (CSUR)
ASN.1: communication between heterogeneous systems
ASN.1: communication between heterogeneous systems
Generalized L.R. Parsing
Compiler Construction, An Advanced Course, 2nd ed.
System Security Assessment through Specification Mutations and Fault Injection
Proceedings of the IFIP TC6/TC11 International Conference on Communications and Multimedia Security Issues of the New Century
Retargetable code generation and optimization using attribute grammars
Retargetable code generation and optimization using attribute grammars
SCL: a language for security testing of network applications
CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
A backtracking LR algorithm for parsing ambiguous context-dependent languages
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Pure corba
| Hi-index | 0.00 |
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of this process, binary protocols are translated into a textual representation. This paper describes a translation process using a context sensitive parser that eliminates the need to write custom code to decode each individual protocol. It is a template driven top down parser augmented by a constraint engine. The constraint engine is used to implement the context sensitive restrictions.