|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 2 van 10 gevonden artikelen
| Titel: |
APPLICATION SPECIFIC USAGE CONTROL IMPLEMENTATION VERIFICATION |
| Auteur: |
Rajkumar P.V S.K.Ghosh Pallab Dasgupta |
| Verschenen in: |
International journal of network security & its applications |
| Paginering: | Jaargang 1 (2009) nr. 3 pagina's 116-128 |
| Jaar: |
2009 |
| Inhoud: |
Usage control is a comprehensive access control model developed to cater the security needs of the wide range of applications. Formal specification of the core usage control models and their expressivity,decidability of safety properties are explored recently. They help us to understand the usability and safety of the model. However, security of the usage control in the practical applications depends on the safety of the model as well as its correct implementation in the application. This paper presents an approach to verify the correctness of the usage control implementation using a semi- formal property verification tool. We also provide an illustrative case study. |
| Uitgever: |
Academy & Industry Research Collaboration Center (AIRCC) (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 2 van 10 gevonden artikelen
| << vorige | volgende >> |