Variable Expressions in Security Assertions | AMiner