Este link fornece um método para desativar as ferramentas do desenvolvedor (já que é improvável que você precise delas): link
Talvez seja necessário conversar com a TI, pois a política de segurança local provavelmente não permitirá modificar muito do Registro nem alterar as políticas de grupo. Na verdade, sugiro à TI que eles façam isso parte da política de grupo, para que todos os computadores se comportem dessa maneira.
Eu também lhe diria para dizer aos seus desenvolvedores que é EXATAMENTE porque você não seqüestra teclas de função em JavaScript, mas tenho certeza que eles sabem disso, agora ...:)