Electronic Government and Commerce: Design, Modeling, Analysis and Security - Proceedings of the 1st International Workshop on Electronic Government and Commerce: Design, Modeling, Analysis and Security, EGCDMAS 2004, In conjunction with ICETE 2004, Setúbal, Portugal, August 2004