Defining and transforming security rules in an MDA approach for DWs

By Blanco Carlos   Guzman Ignacio Garcia-Rodriguez de   Fernandez-Medina Eduardo   Trujillo Juan   Piattini Mario  

International Journal of Business Intelligence and Data Mining, Vol. 5, Iss. 2, 2010-01 ,pp. : 116-133

Inderscience Publishers

Access to resources Recommend Favorite

Formally specifying CARA in Java

By Stark Eugene W.  

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 4, 2004-05 ,pp. : 331-350

Springer Publishing Company

Access to resources Recommend Favorite

Improving security of quantization-index-modulation steganography in low bit-rate speech streams

By Tian Hui   Liu Jin   Li Songbin  

Multimedia Systems, Vol. 20, Iss. 2, 2014-03 ,pp. : 143-154

Springer Publishing Company

Access to resources Recommend Favorite

Abstract Interpretation for Proving Secrecy Properties in Security Protocols

By Adi K.   Debbabi M.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 1, 2004-01 ,pp. : 1-26

Elsevier

Access to resources Recommend Favorite

Model checking security properties of control flow graphs

By Besson F.  

Journal of Computer Security, Vol. 9, Iss. 3, 2001-01 ,pp. : 217-250

Ios Press

Access to resources Recommend Favorite