Assertion: smart card | /r/HasProperty | inserted gains access
Facets:
value: to the machine
type: TRANSITIVE-OBJECT
Source sentences:
text: If you leave the computer, the smart card is still "inserted" so if an attacker gains access to the machine and happens to know the PIN, he's in.