Keywords: کنترل جریان اطلاعات; Information flow control; Content-dependent policies; Type systems; Hoare logic; Instrumented semantics; Non-interference;
مقالات ISI کنترل جریان اطلاعات (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
CDroid: practically implementation a formal-analyzed CIFC model on Android
Keywords: کنترل جریان اطلاعات; Android; Information flow control; Security process algebra; Dynamic taint tracking; Noninterference;
MAC A verified static information-flow control library
Keywords: کنترل جریان اطلاعات; Information Flow Control; Non Interference; Functional Programming; Haskell; Agda;
If-transpiler: Inlining of hybrid flow-sensitive security monitor for JavaScript
Keywords: کنترل جریان اطلاعات; Information flow control; Security monitors; JavaScript; Client-side web security; Information Flow Tracking; Termination insensitive non-interference; Information flow monitor;
Read-abortion (RA) based synchronization protocols to prevent illegal information flow
Keywords: کنترل جریان اطلاعات; Role-based access control (RBAC) model; Information flow control; Read-abortion role-based synchronization (RA-RBS) protocol; Read-abortion object-based synchronization (RA-OBS) protocol
An extended XACML model to ensure secure information access for web services
Keywords: کنترل جریان اطلاعات; Web service; Information flow control; Security; Prevent information leakage
Security of multi-agent systems: A case study on comparison shopping
Keywords: کنترل جریان اطلاعات; Formal verification; Information security; Information flow control; Multi-agent systems; Compositional reasoning;
Information flow control in multithread applications based on access control lists
Keywords: کنترل جریان اطلاعات; Information security; Access control; Information flow control; Prevent information leakage; Multithread
Managing role relationships in an information flow control model
Keywords: کنترل جریان اطلاعات; Information flow control; Security; Role relationship; Prevent information leakage; Indirect information leakage
An agent-based inter-application information flow control model
Keywords: کنترل جریان اطلاعات; Information security; Information flow control; Information leakage; Inter-application information flow control; Agent;
An information flow control model for C applications based on access control lists
Keywords: کنترل جریان اطلاعات; Information security; Information flow control; C application; Access control list (ACL); Prevent information leakage;
An Automata Based Approach for Verifying Information Flow Properties
Keywords: کنترل جریان اطلاعات; information flow control; verification; finite state systems;