A BSP algorithm for on-the-fly checking CTL* formulas on security protocols.评价结果

评估详情

4