Title of article :
One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements
Author/Authors :
Iliano Cervesato
Catherine Meadows
، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
Network-level security and protection , Protocol verification , formal languages
Journal title :
I E E E Transactions on Dependable and Secure Computing
Journal title :
I E E E Transactions on Dependable and Secure Computing
