A dynamic watermarking model for embedding reducible permutation graphs into software | IEEE Conference Publication | IEEE Xplore