|
|
|
|
|
Anant Sujatanagarjuna, Arne Bochem and Benjamin Leiding
Protocol flaws such as the well-known Heartbleed bug, security and privacy issues or incomplete specifications, in general, pose risks to the direct users of a protocol and further stakeholders. Formal methods, such as Colored Petri Nets (CPNs), facilita...
ver más
|
|
|
|
|