Inproceedings,

Using Deducibility in Secure Network Modelling.

, , , , and .
ESORICS, page 117-123. AFCET, (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews