Types for Access Control in a Calculus of Mobile Resources | Zendy

Hans Hüttel | Zendy; Morten Kühnrich | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Types for Access Control in a Calculus of Mobile Resources

Author(s) -

Hans Hüttel,

Morten Kühnrich

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.05.044

Subject(s) - process calculus , access control , computer science , reduction (mathematics) , type (biology) , process (computing) , property (philosophy) , calculus (dental) , security policy , theoretical computer science , computer security , mathematics , programming language , medicine , ecology , philosophy , geometry , dentistry , epistemology , biology

This paper presents a type system for the calculus of Mobile Resources (MR) proposed by Godskesen et al. The type system is able to prevent undesirable border-crossing behaviour such as Trojan horses. This is achieved by combining the notion of group with a notion of security policy. Well-typed processes satisfy a safety property which is preserved under reduction. An algorithm is presented which computes the minimal security policy making a process well typed

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research