Hossein Saiedian

Software architecture, formal modeling, secure software

engineering, information security