Ավագյան Ա., Վասիլյան Ա., Avagyan A., Vasilyan A.
Տվյալների բազաների վրա հիմնված տեղաբաշխված կիրառությունների համակարգերից օգտվելու արտոնությունների սահմանափակումների նախագծման և տեստավորման մեթոդիկան ; Methology of designing and testing of systems for access differentiation system in distributed applications built on databases
Рассмотрена методика проектирования и тестирования систем разграничения доступа (СРД) для распределенных приложений. Методика основана на комбинации в рамках единой оболочки механизмов и инструментов разграничения доступа в СУБД и ОС, современного инструментария прикладного программирования и формальной верификации, которые обычно используются раздельно. Դիտարկված է բաշխված կիրառությունների համակարգերից օգտվելու արտոնությունների սահմանափակման նախագծման և տեստավորման մեթոդիկան: Այն հիմնված է Օպերացիոն Համակարգերի և Տվյալների Բազաների Ղեկավարման Համակրգերի (ՏԲՂՀ)արտոնությունների սահմանափակման, ինչպես նաև ժամանակակից ծրագրային միջավայրերի և ֆորմալ վերիֆիկացիայի միջոցով կոմբինացված մեկ միասնական մեխանիզմի և գործիքային թաղանթի ստեղծման վրա: Դրանք սովորաբար օգտագործվում են իրարից անջատ: The paper suggests a detalied outline of adesign and testing methodology for access differentation sytems (ADS) in distributed application which use databases. The approach combines different protection mechanisms and tools in DBMS, OsS and state of the art for application programming tools, that are usually used separately, in order to provide a practical integrated approach to the development of protection systems for specific applications with aparticular emphasis on automation of design, implementation and verification.
oai:arar.sci.am:151724
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Aug 31, 2023
Jun 7, 2020
22
https://arar.sci.am/publication/166631
Василян, А.
М. А. Василян Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)
М. А. Василян Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)
М. А. Василян Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)
А. А. Бабаян В. В. Василян Պատ․ խմբ․՝ Մ․ Գ․ Թումանյան (1948) Գ․ Հ․ Բաբաջանյան (1949-1954) Հ․ Գ․ Բատիկյան (1954-1977) Գլխ․ խմբ․՝ Է․ Գ․ Աֆրիկյան (1978-2007) Է․ Ս․ Գևորգյան (2008-2023) Ա․ Ա․ Առաքելյան (2023-)
С. С. Василян Р. А. Алексанян Պատ․ խմբ․՝ Բ․ Ա․ Ֆանարջյան (1961-1977) Ի․ Ք․ Գևորգյան (1978-1988) Ռ․ Պ․ Ստամբոլցյան (1989-1994) Գլխ․ խմբ․՝ Վ․ Պ․ Հակոբյան (1995-2007) Յու․ Թ․ Ալեքսանյան (2008-2018)
В. В. Василян С. А. Мирзоян Պատ․ խմբ․՝ Մ․ Գ․ Թումանյան (1948) Գ․ Հ․ Բաբաջանյան (1949-1954) Հ․ Գ․ Բատիկյան (1954-1977) Գլխ․ խմբ․՝ Է․ Գ․ Աֆրիկյան (1978-2007) Է․ Ս․ Գևորգյան (2008-2023) Ա․ Ա․ Առաքելյան (2023-)
А. В. Василян Э. С. Оганджанян А. А. Трчунян Պատ․ խմբ․՝ Մ․ Գ․ Թումանյան (1948) Գ․ Հ․ Բաբաջանյան (1949-1954) Հ․ Գ․ Բատիկյան (1954-1977) Գլխ․ խմբ․՝ Է․ Գ․ Աֆրիկյան (1978-2007) Է․ Ս․ Գևորգյան (2008-2023) Ա․ Ա․ Առաքելյան (2023-)