Keywords: عدم دخالت; Software security; Noninterference; Program analysis
مقالات ISI عدم دخالت (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
CDroid: practically implementation a formal-analyzed CIFC model on Android
Keywords: عدم دخالت; Android; Information flow control; Security process algebra; Dynamic taint tracking; Noninterference;
Noninterference in a predicative polymorphic calculus for access control
Keywords: عدم دخالت; Access control; Denotational semantics; Noninterference; Predicative polymorphism
A formal approach to the integrated analysis of security and QoS
Keywords: عدم دخالت; QoS; Security; Noninterference; Formal methods; Process algebra; Tools; Case studies;
A noninterference polypyrrole glucose biosensor
Keywords: عدم دخالت; Noninterference; Four-electrode cell; Glucose biosensor; Ascorbic acid; Infrared spectroscopy; Ultraviolet spectroscopy