Inproceedings,

Security Validation Using Linear Bounded Automata in Web Service Environment.

, , and .
ICIA, page 52:1-52:9. ACM, (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews