對於複雜的系統的建模或者協議的建模，各種顏色集的定義以及變數的宣告很重要，要區分明確，對於函式行業程序的定義更加複雜。cpn對協議的描述只適合簡單邏輯性的協議分析，如果協議包括複雜的演算法，那麼cpn就不適合做協議的建模分析，
1、例項
現在我們使用cpn來建模乙個 灰姑娘和繼母的故事， 繼母要求灰姑娘將不同的穀物分開，當灰姑娘去跳舞的時候 小老鼠分離這些穀物。
首先我們需要定義顏色集 和變數，
colset p=unit with pumpkin;
colset c=unit with cinderella;
colset g=with rice | wheat | oat;
colset m=unit with mouse;
colset f=unit with fairy;
var x: c;
var y: g;
var z: f;
var u: p;
var v: m;
初始的狀態如下面
後續執行的步驟圖見下面：
因為穀物設定的較多，所以我們直接看部分執行狀態 如下圖，很多步驟都是在迴圈
2、狀態空間分析
因為我麼設定的穀物數量太大，導致狀態空間**問題，所以說cpn tools對 狀態空間**問題 只能是人工的干預減少，但是沒有辦法解決。 那麼對複雜的協議分析 也會出現狀態空間**問題，導致協議不能分析。
所以說cpn tools只呢個分析簡單的 邏輯性的協議，而不能用來分析含有發雜計算的協議
FIDO安全協議
fido fast identity online 線上快速身份驗證聯盟立於2012年，它的目標是建立一套開放 可擴充套件的標準協議，支援對web應用的非密碼安全認證，消除或減弱使用者對密碼的依賴。它主要是通過兩個標準協議來實現安全登入 驗證 其中u2f協議是使用pin和usb埠或者支援nfc的手機...
PGP安全協議
傳輸過程 解密驗證過程 一些問題 q 為何先壓縮再加密？由於壓縮的實質就是將有序的訊息進行無序化處理，而加密的過程也是將訊息進行無序化處理。因此，先加密再壓縮是在無序的基礎上變更無序，沒有什麼實質性作用，可能原來10g的檔案，還是10g。但是若先壓縮再加密，就可能使得原來10g的檔案變為5g，因此傳...
安全協議ssl
1 概念 ssl secure sockets layer 安全套接層。是由netscape公司於1990年開發，用於保障word wide web www 通訊的安全。主要任務是提供私密性，資訊完整性和身份認證。1994年改版為sslv2,1995年改版為sslv3.tls transport l...