Disabling edit and copy of source program in production library

Good Morning Group,
 
We have ALDON change management on our test box; which has a development, 
intergration, test, and production library.  The development is the developer's 
library that's used when the developer check out a source from the production 
library.  The intergation environment is used for the BA testing and the Test 
environment is used for the User testing.  Than we have the production 
environment where the source and object is stored and the obect is sent over to 
our Production box.
 
Our problem now is we want to make sure our developer can not edit or copy over 
the source that in our production box.  Is there a way to disable the edit 
command or the compiler for the production environment.  We also need a way to 
stop the developer from copying the the source from their development library 
into the production library.  We can allow them to copy from the production 
library, but we do not want them to copy it back to it.
 
Thanks