An Efficient Method of Strictly Evaluating Side-Channel Security