Search results

Publication Date of Publication Type Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code 2010-04-23 Paper...

Publication Date of Publication Type Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code 2010-04-23 Paper...

Publication Date of Publication Type A Network Security Policy Model and Its Realization Mechanism 2009-01-15 Paper...

Publication Date of Publication Type A Network Security Policy Model and Its Realization Mechanism 2009-01-15 Paper...

Publication Type An Effective Algorithm for Collision Resolution in Security Policy Rules 2022-09-21 Paper...

Publication Date of Publication Type A model checking-based approach for security policy verification of mobile systems 2012-07-03 Paper...

Publication Type A Network Security Policy Model and Its Realization Mechanism 2009-01-15 Paper Assessing the risk situation of network security for active defense...

Publication Type A Network Security Policy Model and Its Realization Mechanism 2009-01-15 Paper Assessing the risk situation of network security for active defense...

Multiple Layers 2017-06-20 Paper Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code 2010-04-23 Paper...

logical paradox to security policy 2018-10-22 Paper Covering the monitoring network: a unified framework to protect e-commerce security 2018-02-01 Paper...

Publication Type Towards the correctness of security protocols 2016-05-03 Paper Formal Enforcement of Security Policies on Parallel Systems with Risk Integration...

of Backlit Images 2019-02-06 Paper Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code 2010-04-23 Paper...

control of heterogeneous mutating viruses 2019-01-21 Paper Optimal Security Policy for Protection Against Heterogeneous Malware 2018-03-13 Paper Optimal...

model checking-based approach for security policy verification of mobile systems 2012-07-03 Paper Information flow security in boundary ambients 2008-04-16...

a beam splitter 2013-02-04 Paper Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code 2010-04-23 Paper A scheme...

Based on Timed Bounded Discretized Language 2021-04-19 Paper Modifying Security Policies for the Satisfaction of Intransitive Non-Interference 2017-08-08 Paper...

Publication Date of Publication Type Modifying Security Policies for the Satisfaction of Intransitive Non-Interference 2017-08-08 Paper Characterizing...

Propagation Information in the Model of Tax Audit 2018-10-11 Paper Optimal Security Policy for Protection Against Heterogeneous Malware 2018-03-13 Paper Optimal...

2023-01-17 Paper An Effective Algorithm for Collision Resolution in Security Policy Rules 2022-09-21 Paper Boris Abramovich Trakhtenbrot 2022-05-09 Paper...

de/entity/Q3098942 2011-12-01 Paper Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code 2010-04-23 Paper https://portal...