Formal Modeling of Trust-Based Access Control in Dynamic Coalitions

2013 IEEE 37th Annual Computer Software and Applications Conference Workshops ◽

10.1109/compsacw.2013.30 ◽

2013 ◽

Cited By ~ 2

Author(s):

Nadim Sarrouh

Keyword(s):

Access Control ◽

Formal Modeling

Download Full-text

A formal modeling and analysis approach for access control rules, policies, and their combinations

International Journal of Information Security ◽

10.1007/s10207-016-0314-4 ◽

2016 ◽

Vol 16 (1) ◽

pp. 43-74 ◽

Cited By ~ 2

Author(s):

Vahid R. Karimi ◽

Paulo S. C. Alencar ◽

Donald D. Cowan

Keyword(s):

Access Control ◽

Analysis Approach ◽

Formal Modeling ◽

Modeling And Analysis ◽

Control Rules ◽

Access Control Rules

Download Full-text

Formal modeling in a generalized framework for access control

[1990] Proceedings. The Computer Security Foundations Workshop III ◽

10.1109/csfw.1990.128190 ◽

2002 ◽

Cited By ~ 8

Author(s):

L.J. La Padula

Keyword(s):

Access Control ◽

Formal Modeling ◽

Generalized Framework

Download Full-text

A distributed access control method for wireless LANs in shadowing environments

Electronics and Communications in Japan (Part I Communications) ◽

10.1002/ecja.1037.abs ◽

2001 ◽

Vol 84 (9) ◽

pp. 16-26

Author(s):

Tadao Saito ◽

Hitoshi Aida ◽

Terumasa Aoki ◽

Soichiro Hidaka ◽

Tredej Toranawigtrai ◽

...

Keyword(s):

Access Control ◽

Control Method ◽

Wireless Lans ◽

Distributed Access Control

Download Full-text

Experiments and formal modeling of decision making

PsycEXTRA Dataset ◽

10.1037/e640112011-053 ◽

2005 ◽

Author(s):

George Wu

Keyword(s):

Decision Making ◽

Formal Modeling

Download Full-text

Server Access Control

International Journal of Scientific Research ◽

10.15373/22778179/dec2012/31 ◽

2012 ◽

Vol 1 (7) ◽

pp. 78-79

Author(s):

Anitha Chepuru ◽

◽

Dr.K.Venugopal Rao ◽

Amardeep Matta

Keyword(s):

Access Control

Download Full-text

Access Control for Databases: Concepts and Systems

10.1561/9781601984173 ◽

2010 ◽

Cited By ~ 1

Author(s):

Elisa Bertino

Keyword(s):

Access Control

Download Full-text

Increasing Energy Efficiency of Mobile Nodes Using Distributed Energy-Adaptive Location Based Cooperative- Medium Access Control Protocol (DEL-CMAC) in Large Scale MANETs

International Review on Computers and Software (IRECOS) ◽

10.15866/irecos.v9i10.984 ◽

2014 ◽

Vol 9 (10) ◽

pp. 1651

Author(s):

Vijayakumar Adaickalam ◽

K. Selvamani Kadhirvelu

Keyword(s):

Energy Efficiency ◽

Access Control ◽

Medium Access Control ◽

Large Scale ◽

Medium Access Control Protocol ◽

Mobile Nodes ◽

Distributed Energy ◽

Medium Access ◽

Control Protocol

Download Full-text

Distributed Medium Access Control with SDMA Support for WLANs

IEICE Transactions on Communications ◽

10.1587/transcom.e93.b.961 ◽

2010 ◽

Vol E93-B (4) ◽

pp. 961-970 ◽

Cited By ~ 11

Author(s):

Sheng ZHOU ◽

Zhisheng NIU

Keyword(s):

Access Control ◽

Medium Access Control ◽

Medium Access

Download Full-text

Cooperation between Channel Access Control and TCP Rate Adaptation in Multi-Hop Ad Hoc Networks

IEICE Transactions on Communications ◽

10.1587/transcom.e98.b.79 ◽

2015 ◽

Vol E98.B (1) ◽

pp. 79-87 ◽

Cited By ~ 4

Author(s):

Pham Thanh GIANG ◽

Kenji NAKAGAWA

Keyword(s):

Access Control ◽

Ad Hoc Networks ◽

Ad Hoc ◽

Rate Adaptation ◽

Channel Access ◽

Channel Access Control ◽

Hoc Networks

Download Full-text

Smart Contract-Based Access Control for the Vehicular Networks

2020 International Conference on Software, Telecommunications and Computer Networks (SoftCOM) ◽

10.23919/softcom50211.2020.9238226 ◽

2020 ◽

Author(s):

Amira Kchaou ◽

Samiha Ayed ◽

Ryma Abassi ◽

Sihem Guemara El Fatmi

Keyword(s):

Access Control ◽

Vehicular Networks ◽

Smart Contract

Download Full-text