Are there any applications to use a halting decidable system to study security problems in distributed systems?

There’s a bounded system S (halting is decidable) that can be used to model for reliable asynchronous communication and unreliable asynchronous communication. Are there any applications to use this system to resolve security problems in distributed systems?