TASHAROK: Using Mechanism Design for Enhancing Security Resource Allocation in Interdependent Systems