Now showing items 51-60 of 86
A note on the formalisation of UCON.
(Association of Computing Machinery, 2007)
Formality, Agility, Security and Evolution in Software Development
Combining formal and agile techniques in software development has the potential to minimize change-related problems.
Concurrent enforcement of usage control policies.
Deriving enforcement mechanisms for policies
Quantitative quality assurance approach.
Context aware Driver Behaviour Detection System in Intelligent Transportation Systems (ITS)
Vehicle Ad hoc Networks (VANET) emerged as an application of Mobile Ad hoc Networks (MANET), which use Dedicated Short Range Communication (DSRC) to allow vehicles in close proximity to communicate with each other, or to ...
A comprehensive survey on vehicular Ad Hoc network
Vehicular ad hoc networks (VANETs) are classified as an application of mobile ad hoc network (MANET) that has the potential in improving road safety and in providing travellers comfort. Recently VANETs have emerged to turn ...
A compositional event and time-based policy model