AN ALTERNATIVE APPROACH FOR FORMULA MODELLING IN SECURITY METRICS Topics: Security Metrics and Measurement; Security Verification and Validation In Proceedings of the International Conference on Security and Cryptography - Volume 0ICETE, 381-386, 2009 , Milan, Italy