Efficient authentication mechanisms using the iAPX-432