In this paper we present and validate a novel attacker model based on the economic notion that the attacker has limited resources to forge a new attack. We focus on the vulnerability exploitation case, whereby the attacker has to choose whether to exploit a new vulnerability or keep an old one. We postulate that most vulnerabilities remain unattacked, and that the exploit development cycle rela...

Our work focuses on modeling the security of systems from their component-level designs. Towards this goal, we develop a categorical formalism to model attacker actions. Equipping with algebras produces two interesting results for modeling. First, using Yoneda lemma, can reconnaissance missions. In context, lemma shows us that if system representations, one being complete and other attacker’s i...

As assumptions about adversaries critically influence the correctness and efficiency of protocols, they should be as precise as possible. We propose a general framework for attacker models in wirless sensor networks. The framework is modular since it allows to compose basic attacker models by choosing values from three orthogonal dimensions: presence, intervention, and insertion. All choices of...

Internet sudah menjadi komoditas utama dalam hal komunikasipada era ini. Dengan seiring perkembangan zaman, serangan yang terjadi di internetpun semakin berkembang. Untuk mencegah sebuah banyak sistem atau program dikembangkan untuk menghalau suatu serangan, salah satu diantaranya yaitu honeypot. Honeypot merupakan aplikasi guna mampu menahan, mendeteksi, serta mencatat masuk kedalam jaringan s...