TINMAN: A Resource Bound Security Checking System for Mobile Code

Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource security is the class of attacks called DoS (Denial of Service) attacks. This paper proposes an architecture called TINMAN whose goal is to efficiently and effectively safeguard resource security for mobile source code written in C. We couple resource usage checks at the programming language level and at the run-time system level. This is achieved by the generation of a resource from source code. This resource skeleton abstracts the resource consumption behavior of the program which is validated by means of a resource usage certificate that is derived from proof generation. TINMAN uses resource-usage checking tools to generate proof obligations required of the resource usage certificate and provides full coverage by monitoring any essential property not guaranteed by the certificates. We shall describe the a...

• Type: Conference
• Year: 2002
• Where: ESORICS
• Authors: Aloysius K. Mok, Weijiang Yu
• Keywords: Architecture Called Tinman, ESORICS 2002, Resource Usage Certificate, Resource Usage Checks, Security Privacy