# 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 reliable asynchronous communication and unreliable asynchronous communication. Are there any applications to use this system to resolve security problems in distributed systems?

• Can you give more details about $S$? Also, why do you expect there to be such applications? Apr 3 at 9:32