We present TwoTowers 4.0, an extended version of the software tool TwoTowers encompassing security analysis. The novelty of TwoTowers 4.0 is its capability of supporting both security analysis and performance evaluation, thus providing the means for trading the QoS of a system with the bandwidth of its illegal information leaks.
Citation:
Alessandro Aldini, Marco Bernardo, "TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation," qest, pp.336-337, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004