Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887
banner image
image of Volume 3, Issue 3
Online ISSN 1751-8717 Print ISSN 1751-8709

IET Information Security

Volume 3, Issue 3, September 2009

Volumes & issues:

Volume 3, Issue 3

September 2009

Show / Hide details

    • Using Alloy to analyse a spatio-temporal access control model supporting delegation
      • Author(s): M. Toahchoodee  and  I. Ray
      • Source: IET Information Security, Volume 3, Issue 3, p. 75 –113
      • DOI:  10.1049/iet-ifs.2008.0074
      • Type: Article
      • + Show details - Hide details
      • p. 75 –113 (39)
        Pervasive computing applications use the knowledge of the environment to provide better services and functionality to the end user. Access control for such applications needs to use contextual information. Towards this end, we proposed an access control model based on role-based access control that uses the environmental contexts time and location to determine whether a user can get access to some resource. The model also supports delegation which is important for dynamic applications where a user is unavailable and permissions may have to be transferred temporarily to another user/role in order to complete a specific task. Such a model typically has numerous features to support the requirements of various applications. The features may interact in subtle ways to produce conflicts. Here, we propose an automated approach using Alloy for detecting such conflicts. Alloy is supported by a software infrastructure that allows automated analysis of models and has been used to verify industrial applications. The results obtained from the analysis will enable the users of the model to make informed decisions.
        Add to favourites
        Export citations
      Efficient method for simplifying and approximating the S-boxes based on power functions
      • Author(s): A. Farhadian  and  M.R. Aref
      • Source: IET Information Security, Volume 3, Issue 3, p. 114 –118
      • DOI:  10.1049/iet-ifs.2008.0116
      • Type: Article
      • + Show details - Hide details
      • p. 114 –118 (5)
        In recently proposed cipher algorithms, power functions over finite fields and specially inversion functions play an important role in the S-box design structure. In this study, a new systematic efficient method is introduced to cryptanalyse (to simplify and approximate) such S-boxes. This method is very simple and does not need any heuristic attempt and can be considered as a quick criterion to find some simple approximations. Using this new method, some approximations can be obtained for advanced encryption standard (AES) like S-boxes, such as AES, Camellia, Shark and so on. Finally as an application of this method, a simple linear approximation for AES S-box is presented.
        Add to favourites
        Export citations
      Hidden identity-based signatures
      • Author(s): A. Kiayias  and  H.-S. Zhou
      • Source: IET Information Security, Volume 3, Issue 3, p. 119 –127
      • DOI:  10.1049/iet-ifs.2007.0151
      • Type: Article
      • + Show details - Hide details
      • p. 119 –127 (9)
        This study introduces hidden identity-based signatures (Hidden-IBS), a type of digital signatures that provide mediated signer-anonymity on top of Shamir's identity-based signatures. The motivation of the new signature primitive is to resolve an important issue with the kind of anonymity offered by ‘group signatures’ where it is required that either the group membership list be public for opening signatures or that the opening authority be dependent on the group manager for its operation. Contrary to this, Hidden-IBS does not require the maintenance of a group membership list for opening signatures and they enable an opening authority that is totally independent of the group manager. As the authors argue this makes Hidden-IBS much more attractive than group signatures for a number of applications. In this study, the authors provide a formal model of Hidden-IBS as well as two efficient constructions that realise the new primitive. To demonstrate the power of the new primitive, the authors apply it to solve a problem of current onion-routing systems focusing on the Tor system in particular.
        Add to favourites
        Export citations

Most viewed content for this Journal

Article
content/journals/iet-ifs
Journal
5
Loading

Most cited content for this Journal

Print this page
This is a required field
Please enter a valid email address