Satisfiability of general intruder constraints with a set constructor | IEEE Conference Publication | IEEE Xplore