A protocol for data availability in Mobile Ad-Hoc Networks in the presence of insider attacks