Synthesis of Dynamic Masks for Infinite-Step Opacity
نویسندگان
چکیده
منابع مشابه
Verification of Infinite-Step Opacity and Analysis of its Complexity ⋆
In this paper, we formulate, analyze, and devise methodologies to verify the notion of infinite-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on their transitions. Specifically, a system is infinitestep opaque if the entrance of the system state at any particular instant to a set of secret states remains opaque (...
متن کاملdiagnostic and developmental potentials of dynamic assessment for writing skill
این پایان نامه بدنبال بررسی کاربرد ارزیابی مستمر در یک محیط یادگیری زبان دوم از طریق طرح چهار سوال تحقیق زیر بود: (1) درک توانایی های فراگیران زمانیکه که از طریق برآورد عملکرد مستقل آنها امکان پذیر نباشد اما در طول جلسات ارزیابی مستمر مشخص شوند; (2) امکان تقویت توانایی های فراگیران از طریق ارزیابی مستمر; (3) سودمندی ارزیابی مستمر در هدایت آموزش فردی به سمتی که به منطقه ی تقریبی رشد افراد حساس ا...
15 صفحه اولSynthesis of opaque systems with static and dynamic masks
Opacity is a security property formalizing the absence of secret information leakage and we address in this paper the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability over G, if s/he can never infer from the observation of a run of G that the run belongs to S. We choose to control the observabilit...
متن کاملsingle-step synthesis of multi-component spirobarbiturates using ionic liquids and synthesis of substituted pyridine filled with catalysts supported on solid substrate
in this thesis, a better reaction conditions for the synthesis of spirobarbiturates catalyzed by task-specific ionic liquid (2-hydroxy-n-(2-hydroxyethyl)-n,n-dimethylethanaminium formate), calcium hypochlorite ca(ocl)2 or n-bromosuccinimide (nbs) in the presence of water at room temperature by ultrasonic technique is provided. the design and synthesis of spirocycles is a challenging task becaus...
15 صفحه اولCompactly Supported Refinable Functions with Infinite Masks
A compactly supported scaling function can come from a refinement equation with infinitely many nonzero coefficients (an infinite mask). In this case we prove that the symbol of the mask must have the special rational form ã(Z) = b̃(Z)c̃(Z)/b̃(Z). Any finite combination of the shifts of a refinable function will have such a mask, and will be refinable. We also study compactly supported solutions o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2018
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2018.06.323