Sökning: "statisk verifiering"

Visar resultat 1 - 5 av 7 uppsatser innehållade orden statisk verifiering.

  1. 1. Static Analysis Of Client-Side JavaScript Code To Detect Server-Side Business Logic Vulnerabilities

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Frederick van der Windt; [2023]
    Nyckelord :JavaScript; Static Analysis; Business Logic Vulnerabilities; Client-side; Fuzzing; Black-box; JavaScript; statisk analys; sårbarheter i affärslogiken; klientsidan; Fuzzing; Black-box;

    Sammanfattning : In the real world, web applications are crucial in various domains, from e-commerce to finance and healthcare. However, these applications are not immune to vulnerabilities, particularly in business logic. Detecting such vulnerabilities can be challenging due to the complexity and diversity of application functionality. LÄS MER

  3. 2. Signal Dependency Analysisand Status Propagation Tracking

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Peng Su; [2020]
    Nyckelord :;

    Sammanfattning : In software engineering, analyzing the dependence of software modules and signals is a common method of verification and testing software behaviors. Through dependency analysis, users can improve the quality and operating efficiency of the code. Also, analyzing dependencies can reflect the working status of software modules. LÄS MER

  4. 3. Beräkningoptimering och konceptuell design avIndustriskydd

    Kandidat-uppsats, Högskolan i Halmstad/Maskinteknisk produktframtagning (MTEK)

    Författare :Alexander Mattsson; [2016]
    Nyckelord :FEM; Finte element; Linear; Nonlinear; Design process; FEM; Finta element; Linjär; ickelinjär. konstruktions process;

    Sammanfattning : ABSTRACTAs the industry becomes more efficient all the time and the budgets narrower the demand forsafety equipment has also increased to minimize downtime and injuries. With the efficienciesgrowing in Swedish industry the supplier of this project has also seen an increased demand forsafety equipment. LÄS MER

  5. 4. Statisk och dynamisk analys av en glidlagerrigg för start-stopp-provning

    Kandidat-uppsats, KTH/Maskinkonstruktion (Inst.)

    Författare :Jonas Ferlin; Viktor Johansson; Alex Palmqvist; [2015]
    Nyckelord :;

    Sammanfattning : Fordonsindustrin ställs ständigt inför allt strängare krav på emissioner och bränsleförbrukning. Som ett led i detta vill buss- och lastbilstillverkaren Scania utöka sina kunskaper inom start-stopp-tekniken. LÄS MER

  7. 5. Modellering av tvärsnitt i betongbro med avseende på egenskaper som platta och balk

    Uppsats för yrkesexamina på avancerad nivå, KTH/Betongbyggnad

    Författare :Malin Wäster; [2013]
    Nyckelord :Beam cross-section; plate cross-section; beam-element; shell-element; Balktvärsnitt; plattvärsnitt; balkelement; skalelement;

    Sammanfattning : Examensarbetet behandlar ett brotvärsnitt som inte entydigt kan betraktas som ett balktvärsnitt eller plattvärsnitt. Med de måttdefinitioner som används vid broprojektering ska en plattkonstruktion ha en bredd som är fem gånger höjden, annars ska konstruktionen ses som en balk där även balkens längd definieras att vara större än tre gånger höjden. LÄS MER