If civilians are involved in attacks on military installations, they can be court-martialled