Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations

2019 ◽  
pp. 96-112 ◽  
Author(s):  
Amina Saâdaoui ◽  
Nihel Ben Youssef Ben Souayeh ◽  
Adel Bouhoula
Keyword(s):  
Access Control ◽  
Formal Approach

A distributed access control method for wireless LANs in shadowing environments

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

Towards Systematization

1977 ◽  
Vol 16 (03) ◽  
pp. 125-130 ◽  
Author(s):  
P. L. Reichertz
Keyword(s):  
Clinical Medicine ◽  
Medical Science ◽  
User Involvement ◽  
Empirical Science ◽  
Target System ◽  
General Strategy ◽  
System Construction ◽  
Formal Approach ◽  
Methodology Development ◽  
Planning Development

Data processing has become an important tool in theoretical and clinical medicine. The main categories of applications are : information analysis, (bio)signal processing and the field of information logistics (information systems).The problems encountered lie in the discrepancy of the basic methods of a formal approach to an empirical science, the complexity of the target system and the system ecology, i.e. the involvement of the user and the system environment during system construction and utilization.Possible solutions to these problems are the application of system techniques, inductive planning, development of medical methodology, development of methods and techniques for user involvement and assessment of motivation and education and educational planning.The necessary general strategy in the development in medical informatics is seen in the continuing systematization of the theoretical and practical approach. It is estimated that this will eventually contribute to the systematization of medical science and practice.

Server Access Control

2012 ◽  
Vol 1 (7) ◽  
pp. 78-79
Author(s):  
Anitha Chepuru ◽  
◽  
Dr.K.Venugopal Rao ◽  
Amardeep Matta
Keyword(s):  
Access Control
Sign in / Sign up

Export Citation Format

Share Document