EconBiz - Find Economic Literature
    • Logout
    • Change account settings
  • A-Z
  • Beta
  • About EconBiz
  • News
  • Thesaurus (STW)
  • Academic Skills
  • Help
  •  My account 
    • Logout
    • Change account settings
  • Login
EconBiz - Find Economic Literature
Publications Events
Search options
Advanced Search history
My EconBiz
Favorites Loans Reservations Fines
    You are here:
  • Home
  • Search: subject:"Incremental Software Development"
Narrow search

Narrow search

Year of publication
Subject
All
Incremental Software Development 1 Model Checking 1 Proof Obligations 1 Role-Based Access Control Constraints 1
Online availability
All
Undetermined 1
Type of publication
All
Article 1
Language
All
English 1
Author
All
Al-hadhrami, Nasser 1 Aziz, Benjamin 1 Othmane, Lotfi ben 1
Published in...
All
International Journal of Secure Software Engineering (IJSSE) 1
Source
All
Other ZBW resources 1
Showing 1 - 1 of 1
Cover Image
An Incremental B-Model for RBAC-Controlled Electronic Marking System
Aziz, Benjamin; Al-hadhrami, Nasser; Othmane, Lotfi ben - In: International Journal of Secure Software Engineering (IJSSE) 7 (2016) 2, pp. 37-64
The incremental development of software through the addition of new features and the insertion of new access rules potentially renders the access control models inconsistent and creates security flaws. This paper proposes modeling Role Based Access Control (RBAC) models of these software using...
Persistent link: https://www.econbiz.de/10012048073
Saved in:
A service of the
zbw
  • Sitemap
  • Plain language
  • Accessibility
  • Contact us
  • Imprint
  • Privacy

Loading...