摘要式驗證 ความหมายคือ 摘要式驗證