Čyras, Vytautas „Scenarijus pristatyti su teise suderinamos programinės įrangos inžineriją“ (VU)

Embed Size (px)

DESCRIPTION

Pranešimas XVI kompiuterininkų konferencijos sekcijoje „Modernios programinės įrangos kūrimo technologijos“, „Kompiuterininkų dienos – 2013“, Šiauliai 2013-09-20

Citation preview

  • 1. Scenarijus pristatyti su teise suderinamos programins rangos ininerij Vytautas YRAS Vilniaus universitetas Matematikos ir informatikos fakultetas Program sistem katedra [email protected] dienos 2013 rugsjo 19-21, iauli universitetas

2. Tiltas tarp informatikos ir teiss Ekspertas A inau informatik!A inau teis!TiltasProgram sistemaPanau A. Tiuringo klausim Ar gali mainos mstyti?TeisJauni programuotojai neino teiss norm prasms Pvz., programuoja rapid prototyping of mobile applications, bet neino teisini pasekmi 2 3. Suderinamumo metodikos vieta Program sistemos krjas Reikalavim ininerija MetodikosProgram sistema STeisiniai Teisiniai reikalavimai reikalavimai R RSuderinamumo metodikaTeis Shared law3 4. Teiss norm modelis Reikia suprasti teiss svokas Programa gali bti panaudota kaip ginklas panaiai kaip ir pietukas4 5. Suderinamumo su teise formulavimas Tegu duota program sistema S ir teisiniai reikalavimai R 1. Suderink S su R 2. Utikrink, kad auditorius priimt kaip rodym, kad S suderinama su R Program sistemos krjasProgram sistema SAuditoriussuderinamaTeisiniai Teisiniai reikalavimai reikalavimai R RTaipiplaukiaTeiss altinis pvz. statymas, teiss norma LNe Suderinama? 5 6. Suderinamumas nusveria saugum Siekti suderinamumo vietoje saugumo People go to jailfor failures in compliance rather than security (Julisch 2008)6 7. Scenarijus mons KnowWhere programa Person Locator App mobiliesiems telefonams stebti telefone geografin viet vartotoj, kurie instaliavo i program pvz., sekti Facebook draugus KnowWhere pasitelkia Google Maps ir gauna personalizuotus emlapius vartotojai ymimi Facebook ID KnowWhere silo portal Person Locator Portal emlapyje rodoma vieta vartotoj i tam tikros Facebook grups Serveris surenka i vartotoj koordinates ir su Google Maps parodo emlapyje Programa siunia server telefono GPS koordinates ir Facebook ID(Oberle et al. 2013)7 8. Samprotavimas 1 klausimas. Kokio statymo ir kokios nuostatos taikomos? LR Asmens duomen teisins apsaugos statymas 2(1) str. Asmens duomenysNetaikomas LR Elektronini ryi statymas2 klausimas. Ar yra teista atskleisti vartotojo duomenis korporacijai Google? Neteista, nes: 2.1 klausimas. Ar statymas numato pagrind perduoti asmens duomenis? Nenumato, nes nra btina sutarties vykdymui: 5(1) str. Asmens duomen teisto tvarkymo kriterijai. Asmens duomenys gali bti tvarkomi, jeigu ... 2) sudaroma arba vykdoma sutartis, kai viena i ali yra duomen subjektas. Nei Facebook ID, nei GPS koordinats nra btinos sutariai tarp vartotojo ir KnowWhere Google yra treioji alis Bt galima: KwoWhere pati paymi ant laisvai prienam emlapi, pvz. Google Maps perduoti Google anonimizuotas GPS koordinates2.2 klausimas. Ar vartotojas dav sutikim? Ne, nes duomen subjektas: nebuvo tinkamai informuotas apie pasekmes programa naudos GPS duomenis perdavimas GoogleIvada: nedav tinkamo sutikimo (effective consent) Sutinku (accept)moralinis spaudimas (mental pressure)Ivada: KnowWhere perdavimas asmens duomen Google yra neteistas8 9. Teiss normos modeliavimas SF LC teisins_slygos teisins_pasekms jeigu dispozicija tai teisins_pasekms kitaip sankcija((Collection(X) OR Processing(X) OR Use(X)) AND performedUpon(X,Y) AND PersonalData(Y)) AND (Permission(P) OR Order(P)) AND givenFor(P,X))) OR (Consent(C) AND DataSubject(D) AND about(Y,D) AND gives(D,C) AND permits(C,X)) Lawfulness(P) AND givenFor(P,X) 9 10. Fakto atitikimas normai Teiss svoka A:NuudymasNeatsargus gyvybs atmimasPadjimas nusiudytiMirties bausmKarini pajg aktasinstance_of Faktas a:Negyvas mogus A, C D... Teiss svoka:A2) Normin subsumcijaAB1) Terminologin subsumcija Faktas:aB(a)Ivada, teismo nuosprendis 10... 11. Teiss sudtingumas 1.Ateiss norm abstraktumas 2.Atviras aikinimas (open texture) 3.Normos prasm neitraukiama vien tik i teksto Teiss aikinimo metodai: gramatinis, sisteminis, teleologinisTeleologija 5.Draudimas Parke vaiuoti draudiama Ar leidiama vaiuoti greitajai pagalbai? Dviraiui?Teiss aikinimo metodai 4.Normos formuluojamos teiss terminais, kurie kiek galima abstraktesniNormos tikslas gali bti pasiekiamas vairiais bdais Tikslai ir bdai paprastai normoje nenurodomiTeiss principas ir taisykl Skirtumai tarp reguliavimo JAV ir Europoje Bendroji teis (common law) ir kontinentin teis11 12. Holistinis poirisRasmussen 2005; IT GRCCOSOCOBIT, ISO 17779, GORERegulation and IT alignment framework (Bonazzi et al. 2009) 12 13. Nra sidabrins kulkos Nra vieno geriausio sprendimo suderinamumo problemai sprsti13 14. Ai u [email protected] [email protected]