A fine-grained petri model for SQL time-blind injection | IEEE Conference Publication | IEEE Xplore