[PriSC'23] pi_RA: A pi-calculus for verifying protocols that use remote attestation

Jika muncul iklan, abaikan dan kembali ke halaman ini!
Klik tombol download 2x / 3x jika muncul iklan.

DOWNLOAD NOW

>> Download MP3 <<

>> Download MP4 <<

Convert [PriSC'23] pi_RA: A pi-calculus for verifying protocols that use remote attestation to MP3/MP4