A classification proof for commutative three-element semigroups with local AND structure and its application to card-based protocols | IEEE Conference Publication | IEEE Xplore