| 摘要 |
A technique for automatic analysis of a network, in which network specification information (11) is converted into a single intermediate representation (13) of the network. The intermediate representation can then be used to determine security parameters (21), and expected data traffic parameters (31). |
