Messages

prepis opakovania na test z poslednej prednášky (opravene na 250eur)

prepis opakovania na test z poslednej prednášky

Nemá komandista náhodou vklad vo výške 250€? ... a nie 550€

jj ma .. .v mojom docku to je vypracovane dobre... to vies niektore veci sa daju lahko prepocut ked to narychlo diktuje a 250 a 550 som mal aj ja problem v dajakom pripade rozlisit

spravne

oh boze, posledna skuska studia a prva, ktoru som nespravil, 49FX. i love it

ok, svet mi zase dava zmysel, len po mne nevedel precitat.

inak pre buduce generacie upozornujem, ze:
- na prednaskach si treba robit poznamky, lebo na skuske chce aj to co nie je v prednaskach, ak nechcete mat D-
- robte radsej extra zadanie, my sme mali teraz Firewall pre linux, celkova priprava na predmet bola u mna 2 tyzdne na zadania + 2 tyzdne skuska, za ten cas by som musel ten firewall aj zozrat a mal by som A

oh boze, posledna skuska studia a prva, ktoru som nespravil, 49FX. i love it

[Otazky na skusku]

Otazky na skusku

16.12.2010, 10:18:53
1. Bezpecnostna politika, bezpecnostna metrika
2. Pojmy> Dovernost, Integrita, Dostupnost
3. Komutativny filter DB
4. Bezpecnost s virtualizaciou
5. MAC , DAC
6. redudancia dat, detekcia chyb
7. Zabezpecenie operacnej pamate
8. SSH, sposoby sifrovania

25.01.2011, 10:55:55
1. porovnat hrozby vs. zranitelnost
2. referencny monitor, umiestnenie RM
3. dvojfazovy update
4. Dos
5. polymorfna pocitacova hrozba
6. viacvrstvovy jadro OS
7. bezpecnost s virtualizaciou
8. SSH, sposoby sifrovania

25.01.2011, 16:49:56
- bezp.modely a bezp.metrika
- SSH
- redudancia dat, detekcia chyb
- ACL, matica pristupu
- doveryhodnost, integrita, dostupnost a bezp.systemu
- pristup k operacnej pamati
- polymorficke hrozby
- skupiny, zabezp. pristupu

- DoS
- integrita OS, prerus.systemu
- ine sposoby identifikacie ako login+heslo
- bezpecnost pouzitia virtualizacie
- konzistencia DB, simultannost
- zranitelnost a hrozba
- modularita a zakryvanie inf v programoch
- viacvrstvovy OS

1. Identifikacia, autentifikacia
2. Doveryhodna vypoctova zakladna
3. Chyba (time of chceck, time of use)
4. Konunikativny  filter vo viacurovnovych DB
5. Vlastnosti referenc. monitora
6. Dvojfazovy update DB
7. Java Sandbox
8. Integrita obsahu, kontrola parity

25.01.2011, 23:58:07
tej teorie ku kazdej otazke je kvantum.. a ked si to rozratam ze ma byt 8 otazok a 40 min.. tak to je max 5 min na jednu otazku +
nejake to rozmyslanie
z coho mi vyplyva ze ku kazdej otazke staci zo 4-5 viet resp nejake zakladne rozdelenie

26.01.2011, 00:00:53
vysvetlim to ako som sa ucil ja: zozbieral si otazky z poslednych dvoch rokov - ku kazdej otazke napisal cca 6 viet ->
dostal som cca 6 stran na ucenie. to je menej ako 102. ucil som sa asi hodinu..mam B

26.01.2011, 20:00:09
Tak ja sa podelim, ak este niekomu pomoze.  Je to len vytah z tych vypracovanych otazok k danym otazkam, bez naroku na uplnost alebo
presnost  Smiley Takze kto tam najde nejake nedostatky tak sem s tym.
http://www.sendspace.com/file/bm5u4r
K par otazkam asi nemam uplne presne, alebo mam len priblizne co som nasiel. Konkretne:
- pristup k operacnej pamati - tu nemam skoro nic
- bezpecnost pouzitia virtualizacie - tu mam len o JVM, Java Sandbox apod.
- viacvrstovy OS - tu mam Architekturu Windows ..

26.01.2011, 21:47:42
ake su tie sposoby sifrovania k otazke: SSH, sposoby sifrovania ??
ja som si nasiel toto info:
Algoritmus šifrovania sa dohodne počas výmeny kľúčov. Šifrované sú polia dĺžka paketu, dĺžka padding-u, údaje, padding každého paketu.
Keďže všetky údaje v jednom smere sú prenášané jedným dátovým tokom, tak koncový stav šifrovania jedného paketu je začiatočným stavom
šifrovania nasledujúceho paketu. Šifrovanie pre oba smery je nezávislé a môže byť pre každý smer zvolená iná metóda.
V súčasnosti sa používajú tieto šifrovacie algoritmy: 3des-cbc, blowfish-cbc, twofish-cbc, arcfour, idea-cbc, cast128-cbc .

27.01.2011, 10:34:08
aktiva
manazment hesiel
nieco so separaciou a izolaciou
zabezpecenie pamate
kontrola pristupu neviem coho
redundancia a detekcia chyb
SandBox
WEP, funkcia, kluce

01.02.2011, 10:09:10
Tak dnes bola mala zmena, bolo 6 otazok.
1. Kerberos
2. Ochrana digitalnych prav
3. Identifikacia/autentifikacie
4. Cookies
5. Separacia/izolacia
6. TCB - doveryhodna vypoctova baza

03.02.2011, 12:27:03
No dnesna skuska sa zdala byt celkom v pohode, ziadne nezname otazky, presnejsie
- Bezpecnostna politika, bezpecnostna metrika
- MAC a DAC
- Dvovernost, dostupnost, integrita
- Redundancia/ integrita
- Ochrana pamate
- sifrovanie pri SSH, alebo take nieco

[Tých pár otázok čo sem dali dotera:]

Tých pár otázok čo sem dali dotera:

18.05.2011, 12:42:51
T: VLASTNOSTI NS
P: Spravit graf danych fcii
D: Strukturalna I. pre postupnost prikazov

18.05.2011, 13:13:17
T denotacia cyklu while
P case
D ak if(while) potom while

18.05.2011, 16:37:27
T: základné vlastnosti štrukturálnej operačnej sémantiky, popísať odvodzovacie pravidlá
P: denotácia príkazu if v tvare: if(podmienka)then prikaz else if (podmienka) then skip else prikaz; (prikaz a podmienka boli reálne podmienky a priraďovacie príkazy)
D: postupnosť príkazov v NS a OS

18.05.2011, 17:13:54
T: syntax a semantika deklaracii v naturalnej semantike
D: S1=while b do S,s      S2=if...(while),s      dokazte semanticku ekvivalenciu
P: rozsirte syntax a semantiku vyrazov o celociselne delenie, pripadne div, mod

03.06.2011, 09:07:49
Ja by som to zhrnul takto:
--------------------------------------------------------------------------------------------------------------------------------------------------
P2: Dokaz strukturalnou indukciou uplnej definovanosti semantickej funkcie pre binarne cisla(+ treba vediet co je to strukturalna indukcia).
P3: Dokaz semantickej ekvivalencie prikazov while(b) do S; a if (b) then (while(b) do S);.
P4: Dokaz ekvivalencie naturalnej a strukturalnej operacnej semantiky.
P6: Dokaz korektnosti abstraktnej implementaci JPJ na abstraktnom stroji pre:
- artimeticke vyrazy JPJ,
- boolovske vyrazy JPJ,
- prikazy JPJ.
P8: Dokaz ekvivalencie denotacnej a operacnej semantiky.
--------------------------------------------------------------------------------------------------------------------------------------------------

12.06.2011, 12:02:54
P: Rozsirte jazyk o prikaz cyklu repeat a napiste k nemu naturalnu, operacnu a denotacnu semantiku
D: dokazte ekvivalenciu cyklu while pre naturalnu a operacnu(Huh denotacnu uz nepamatam) pomocou strukturalnej indukcie
T: Typy udajov v akcnej semantike

12.06.2011, 12:17:34
P: Rozsirte jazyk o prikaz cyklu repeat a napiste k nemu naturalnu, operacnu a denotacnu semantiku
D: dokaz v druhej prednaske pre binarne cisla
T: Paradigmy programovania prva prednaska

13.06.2011, 06:53:36
T: principy nepriamej denotacnej semantiky
D: semanticka ekvivalencia while b do S; a if b then (S; while b do S) else skip;
P: pravidla pre cyklus for pre naturalnu, strukturalnu operacnu a denotacnu semantiku

22.06.2011, 12:37:03
D: dokaz pre while v smere z Operacnej -> Naturalnej semantiky
P: zrobte denotaciu prikazu while ¬(x=3) then x:=x+1
T: definicia funkcie, vlastnosti fcie a graf funkcie pri pouziti v denotacnej semantike prikazu while

29.06.2011
P: n++ - syntax,semantika, b1<>b2 - syntax,semantika
D: dokaz ekvivalencie strukturalnej a naturalnej semantiky pre sekvenciu prikazov
T: prikaz while v akcnej semantike

[Heslo do moodle:]

Heslo do moodle: jahodka

Skúška: otázky boli tie čo sú hore
Zadanie: každý mal urobiť referát na nejakú tému (napr. Petriho siete v biochémii)
DU: Urobiť B-MACHINE ten čo je dole
K cvičeniu: na cvičení sa chodí k tabuli, kto chce. Systém  je taký, že za aktivitu je napr. 10 bodov, smerodajné je koľko krát bol maximálne niekto pri tabuli, keď to bude napr. 5, tak sa vypočíta cena jedného počítania pri tabuli ako 10/5=2 body. Takže ten čo bol pri tabuli tých 5 krát, dostane full, čiže 10 bodov a keď sa niekomu nechcelo a bol tam len raz, dostane 2 body (1 účasť x 2 body = 2 body).

Príprava na skúšku:
- Základným učebným materiálom je [1], toto treba prečítať celé, kapitoly 2.6.2, 2.6.3, väčšinu kapitoly 2.7 a v kapitole 3.3 "Príkaz DO" som ja osobne preskočil.
- Z literatúry [2] treba hlavne kapitoly 3 (tá je ale preložená v literatúre [1]) a asi 4 a 7.
- Z literatúry [3] treba tiež len niečo, podľa toho čo povie na prednáške.
- Literatúra [4]. Toto si treba pozrieť a použiť na doplnenie informácií, ktoré nie sú v [1][2][3], ale väčšna je v [1], keďže Ing. Korečko písal [1] podľa prednášok Prof. Hudáka a Prof. Hudák tieto materiály [4] používa na prednáškach.
- Čo sa týka príkladov, na cvičení sa počítajú príklady z [5] + treba vedieť urobiť kód B-MACHINE (viď. dole) + nakresliť PS obedujúcich filozofov (odrázok hore).

Archív zo všetkými materiálmi:
http://www.uloz.to/9389262/zhrnutie-rar

Učebné materiály

Zo stránky Ing. Korečka (http://hornad.fei.tuke.sk/~korecko/fss/):
[1] SK_FSpodklady.pdf - http://hornad.fei.tuke.sk/~korecko/fss/SK_FSpodklady.pdf
[2] Materiál k jednej prednáške - An Introduction to the Theoretical Aspects of Coloured Petri Nets - http://hornad.fei.tuke.sk/~korecko/fss/CPNtheory.pdf

Doplňujúce materiály od Prof. Hudáka (v archíve):
[3] Materiál k jednej prednáške - Štefan Hudák - Rozšírenia Petriho Sietí - habilitačná práca.pdf (https://docs.google.com/leaf?id=0B9X-L5lO6y2YOWVmZjhkMDctOWIzZC00Njc2LTkyNmEtZjdhNWU2OTNiMWJm&hl=en_US&authkey=CMyAtZsG)

Z moodlu od Prof. Hudáka (aj v archíve)
[4] - 6 súborov pdf

Na cvičenie (len v archíve):
[5] cvika2007 zosvetlene.pdf

Možno sa tiež zíde (len v archíve):
[6] prednasky2007.pdf

Okruhy otázok:
[7] Tematické okruhy ku skúške z predmetu Formálne špecifikácie systémov; akad. rok 2010/2011 - FSSTemySkOtazok.doc
[8] Teoretické otázky pre študentov ŠpZ - http://hornad.fei.tuke.sk/~korecko/fss/FSS_SpZ_teoretOtazky.pdf

Potrebný softvér:

B-MACHINE
[9] ProB - http://www.stups.uni-duesseldorf.de/ProB/index.php5/Download
[10] Atelier B - http://www.atelierb.eu/index-en.php

Petriho siete
[11] PNtool 2 (školský projekt) - http://hornad.fei.tuke.sk/~korecko/fss/index.html

Farebne Petriho siete
[12] CPN tools - http://cpntools.org/


príklad B-MACHINE z cvičenia:

vysvetlenie zápisu B-MACHINE(abstraktného stroja) a jeho klauzúl (CONSTRAINTS, ...) je v literatúre [1] na stranách 61-64

Code [Select] Expand


MACHINE Scalar( max_val )

CONSTRAINTS max_val:NAT & max_val>=0

ABSTRACT_VARIABLES val

INVARIANT  val : 0 .. 10

INITIALISATION val := 0

OPERATIONS

    retVal <-- getVal =
    BEGIN
        retVal := val
    END ;

    setVal ( amount ) =
    PRE amount : NAT THEN
        IF amount <= max_val & amount >= 0 THEN val := amount END
    END ;

    incVal ( amount ) =
    PRE amount : NAT THEN
        IF val < max_val THEN val := val + 1 END
    END ;

    decVal ( amount ) =
    PRE amount : NAT THEN
        IF val > 0 THEN val := val - 1 END
    END ;

    maximum <-- maxVal ( xx ) =
    PRE xx : INT THEN
        IF xx > val THEN maximum := xx ELSE maximum := val END
    END ;

    incORdecVal ( amount ) =
    PRE amount : NAT THEN
               CHOICE
                   IF val > 0 THEN val := val - 1 END
               OR
                   IF val < max_val THEN val := val + 1 END
               END
    END
END


alebo https://docs.google.com/leaf?id=0B9X-L5lO6y2YNjY5MTZjNmItNjI0OS00ZTU5LWI0ZGItYTdhY2U5ZGQ5ODk5&hl=en&authkey=CIn0-OEM

robit 11. cvicenie je vzrusujuce ako prechadzka Jurskym parkom. Taky kratky popis ulohy prinuti kodu skutocne porozumiet, len to zaberie vela casu 

Unique.vm

Code [Select] Expand

        // Unique
        if(object.get${generator.toUCIdent($property.name)}() != null) {
            try {
                Class.forName("org.apache.derby.jdbc.ClientDriver");
                Connection con = DriverManager.getConnection("jdbc:derby://localhost:1527/magsa", "magsa", "magsa");

                String sql = "SELECT $property.name FROM $item.name WHERE $property.name = ?";
                PreparedStatement prest = con.prepareStatement(sql);

                prest.$generator.psSetMethod($property.type)(1, object.get${generator.toUCIdent($property.name)}());

                ResultSet rs1 = prest.executeQuery();

                if (rs1.next()) {
                    throw new ValidatorException("Property '$property.name' has to be unique!");
                }

            } catch (SQLException ex) {
                Logger.getLogger($item.name .class.getName()).log(Level.SEVERE, null, ex);
            } catch (ClassNotFoundException ex) {
                Logger.getLogger($item.name .class.getName()).log(Level.SEVERE, null, ex);
            }
           
        }

Úloha: Použite anotáciu @References v konštruktore triedy Reference pre určenie automatického   vytárania   referencií.

Co je na tom ""? Ved bolo treba spravit cely nastroj na to, aby ti to tam zahlasilo ci mozes taku anotaciu pouzit na danom mieste alebo nie a ako ju mozes pouzit... A taky vyvoj urcite netrval tri dni Nie je to take jednoduche ako to vyzera na prve pouzitie Ale ak mas nejaky navrh, napis ako by sa to dalo zlepsit, mozno sa posnazime

jj, pekne ze si myslis, ze o tom az tak premyslam , ale ja som fakt myslel len ten preklep

este pre takych ako som ja, co nevedia co cinia  ,
anotacie treba pridat podla ukazok v postupe do tychto suborov:
- Entity
- Model
- Property
- Reference
- Type
- Length
- Range
- Required
- Regex
- Unique (u mna)

Vyskusaj súbor nbproject/project.properties zmenit takto: build.generated.sources.dir=${basedir}/src-framework ... mne to takto ide

teda az na to ze do vygenerovanych suborov dava

Code [Select] Expand

package sk.tuke.magsa.tools.parserext

ale generuje to do packagu

Code [Select] Expand

ap-source-output.sk.tuke.magsa.tools.parserext

Ale funguje to aj tak.

Vyskusaj súbor nbproject/project.properties zmenit takto: build.generated.sources.dir=${basedir}/src-framework ... mne to takto ide

diki ide

Úloha: Použite anotáciu @References v konštruktore triedy Reference pre určenie automatického  vytárania  referencií.

FSS - Štefan Hudák - Rozšírenia Petriho Sietí - habilitačná práca.pdf

https://docs.google.com/leaf?id=0B9X-L5lO6y2YOWVmZjhkMDctOWIzZC00Njc2LTkyNmEtZjdhNWU2OTNiMWJm&hl=en&authkey=CMyAtZsG

Pokúste sa definovať a implementovať ďalšie typy obmedzení vlastností entít.

ake dalsie obmedzenia by sem mohli ist, nic ma nenapada

prijmac:

Code [Select] Expand

#include <dos.h>
#include <stdio.h>
#include <conio.h>

#define COMPORT 2 // COM 3
union REGS inr,outr;

int main(void)
{
 inr.h.ah=0;    /* Inicializacia portu */
 inr.x.dx=COMPORT;    /* Port COM1 */
 inr.h.al=0xE3;    /* 9600 Bd, bez parity, 1 stopbit, 8 bitov*/
 int86(0x14,&inr,&outr);
 
 inr.h.ah=2;    /*Prijem znaku z vybraneho portu*/
 inr.x.dx=COMPORT;    /*COM1*/
 do {
   int86(0x14,&inr,&outr);
 } while(outr.h.ah!=0);   /*Cakaj, kym znak spravne nenacitas*/
 
 printf("Stlac ENTER pre koniec...");
 getch();
 return 0;
}

vysielac:

Code [Select] Expand

#include <dos.h>
#include <stdio.h>
#include <conio.h>

#define COMPORT 1 // COM 2
union REGS inr,outr;

int main(void)
{
 inr.h.ah=0;    /* Inicializacia portu */
 inr.x.dx=COMPORT;    /* Port COM1 */
 inr.h.al=0xE3;    /* 9600 Bd, bez parity, 1 stopbit, 8 bitov*/
 int86(0x14,&inr,&outr);
 
 inr.h.ah=1;
 inr.h.al='c';
 inr.x.dx=COMPORT; // JANO com3 je 2, bolo tu 0
 int86(0x14,&inr,&outr);
 
 printf("Stlac ENTER pre koniec...");
 getch();
 return 0;
}


nejde to, preco?, vysielac vysle ale prijmac no interes

Ako ste riesili UPDATE v dao_impl.java.vm?

Code [Select] Expand

String query = "UPDATE Oddelenie SET nazov=?, kod=?, poschodie=? WHERE ident=?";

Konkretne to ident ma zaujima

pozri si od coho dedia vygenerovane entity, tie mas potom ako vstupny parameter "object"

no ja si potrebujem ujasnit, ze co mame vlastne spravit:
- hovoril, ze v jednom subore ma byt aj primac aj vysielac, tak si urobim jeden exe na prijem a jeden na vysielanie, kazdy bude mat nastavenu inu adresu com portu, jeden com2, druhy com3 napr.
- v komunikacii sa maju striedat?, ze v jednom okne zadam vetu(ulozim ju do bufera), druhe okno caka na prijem
- ked stlacim enter, data sa odoslu z jedneho okna do druheho a okna si vymenia ulohy, takze v druhom teraz mozem pisat a prve caka na prijem

alebo inak?

neviete niekto kde nastavim v tom turbo c++ aby mi neotvaralo okno na celu obrazovku ale len v malom okne?? v akej zalozke to je myslim.

pravy klik na TC.EXE a v properties najdes

Navod ako som rozbehal priklad z cvika na jednom kompe

Have fun 

ide to, you are the best, si mi asi usetril nejaku tu hodinku, diki

edit1: na win7 32bit to ide

ake je heslo do moodlu?

jahodka

[takto:]

ja som pouzil dva regularne vyrazy na identifikatory (na mena properties):

[_$a-zA-Z][0-9a-zA-Z_$]+
([_$a-zA-Z][0-9a-zA-Z_$]+)[\\s]:[\\s](INTEGER|REAL|STRING)+  -> ked sa definuje aj typ

opravte ma ak to mam zle

/*
* takto:
* [\\s]*[_$a-zA-Z][0-9a-zA-Z_$]*[\\s]*(:[\\s]*(Integer|Real|String)[\\s]*)?
*
* napr. "  vaha  :  Real  " alebo len "  vaha  "
*
*/

vysvetlenie:

[\\s]*	- odfiltrovanie whitespaces [ \t\n\x0B\f\r]
[_$a-zA-Z]	- 1. znak identifikatora
[0-9a-zA-Z_$]*	- ostatne znaky identifikatora
[\\s]*	-
(:[\\s]*(Integer|Real|String)[\\s]*)?	- volitelna cast, typ moze a nemusi byt
:	- podla zadania
[\\s]*	-
(Integer|Real|String)	- Integer alebo Real alebo String
[\\s]*	-

/*
* zdroje:
* http://download.oracle.com/javase/tutorial/essential/regex/char_classes.html
* http://download.oracle.com/javase/7/docs/api/java/util/regex/Pattern.html#cg
*
* def. ako bolo spomenute:
* http://www.exampledepot.com/egs/java.lang/IsJavaId.html
* valid Java identifier must start with a Unicode letter, underscore, or dollar sign ($).
* The other characters, if any, can be a Unicode letter, underscore, dollar sign, or digit.
*/

Code [Select] Expand

   public Boolean hasProperLineSyntax(String line) {
       Pattern pattern = Pattern.compile("[\\s]*[_$a-zA-Z][0-9a-zA-Z_$]*[\\s]*(:[\\s]*(Integer|Real|String)[\\s]*)?");
       Matcher matcher = pattern.matcher(line);
       return matcher.matches();
   }

ja to mam cez regular., ale jednoduchsi... myslim, ze kontrolovat ci to nie je jedno z tych 50 klucovych slov je ale trosku prehnane nie?

mna to tiez nenapadlo, ale cert to ber

Code [Select] Expand

package JavaKeywords;

import java.util.Arrays;
import java.util.List;

public class JavaKeywords {

    private static final String keywords[] = {
        "abstract", "continue", "for",          "new",          "switch",
        "assert",   "default",  "goto",         "package",      "synchronized",
        "boolean",  "do",       "if",           "private",      "this",
        "break",    "double",   "implements",   "protected",    "throw",
        "byte",     "else",     "import",       "public",       "throws",
        "case",     "enum",     "instanceof",   "return",       "transient",
        "catch",    "extends",  "int",          "short",        "char",
        "final",    "try",      "interface",    "static",       "void",
        "class",    "finally",  "long",         "strictfp",     "volatile",
        "const",    "float",    "native",       "super",        "while"};
    private static final List l = Arrays.asList(keywords);

    public Boolean isJavaKeyWord(String keyword) {
        return l.contains(keyword);
    }

    // alebo lepsie
    public Boolean isJavaKeyWord2(String keyword) {
        for (int i = 0; i < keywords.length; i++) {
            if (keyword.equals(keywords[i])) {
                return true;
            }
        }
        return false;
    }
}