Performance Evaluation of Security Protocols Specified in LySa