I've come to realise that proximity cards are highly insecure, as they broadcast their identifying number to any reader. So I assume there would be prox cards/readers with authentication and verification abilities, though what are they called? Excuse my obscurity.