2   Artículos

 
en línea
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
Revista: Information    Formato: Electrónico

« Anterior     Página: 1 de 1     Siguiente »