Language-based Security for VHDL