<p>Den huvudsakliga tekniken som använts inom webbutveckling består av märkordspråket HTML men HTMLs funktionalitet är för enkelt för att tillfredställa de kraven på komplexa applikationer. En ny teknik i form av märkordsspråket XML uppkom med tanke på att göra lättare att implementera webbaserade applikationer. XML erbjuder möjligheter att utveckla egna element och utforma egna dokumentstrukturer.</p><p>Relationsdatabaser är sedan många år ett väl fungerande datahanterarsystem. Med tanke på att göra informationen tillgänglig på Internet är det oundvikligt att undersöka om XML kan användas för att lagra en relationsdatabas. Detta arbete har i syfte att teoretisk analysera hur XML hanterar begreppen primär- och främmande-nyckel från relationsdatabaser. Nyckeln är ett viktigt begrepp inom en relationsdatabas sammanhang därför är en bra startpunkt att undersöka om XML klarar en nyckel hantering som i relationsdatabas.</p><p>Flertal teorier har undersökts i denna rapport för att försöka kartlägga de olika förslagen. Efter undersökningen kom författaren till denna rapport fram till att en grupp av de förslagen passar bäst, för att data som lagras i XML, har det inte samma struktur som den data som lagras i relationsdatabaser och på så sätt skiljer sig hanteringen av nycklarna.</p>

Den huvudsakliga tekniken som använts inom webbutveckling består av märkordspråket HTML men HTMLs funktionalitet är för enkelt för att tillfredställa de kraven på komplexa applikationer. En ny teknik i form av märkordsspråket XML uppkom med tanke på att göra lättare att implementera webbaserade applikationer. XML erbjuder möjligheter att utveckla egna element och utforma egna dokumentstrukturer. Relationsdatabaser är sedan många år ett väl fungerande datahanterarsystem. Med tanke på att göra informationen tillgänglig på Internet är det oundvikligt att undersöka om XML kan användas för att lagra en relationsdatabas. Detta arbete har i syfte att teoretisk analysera hur XML hanterar begreppen primär- och främmande-nyckel från relationsdatabaser. Nyckeln är ett viktigt begrepp inom en relationsdatabas sammanhang därför är en bra startpunkt att undersöka om XML klarar en nyckel hantering som i relationsdatabas. Flertal teorier har undersökts i denna rapport för att försöka kartlägga de olika förslagen. Efter undersökningen kom författaren till denna rapport fram till att en grupp av de förslagen passar bäst, för att data som lagras i XML, har det inte samma struktur som den data som lagras i relationsdatabaser och på så sätt skiljer sig hanteringen av nycklarna.

Bitcoin har framträtt som den mest igenkännbara kryptovalutan sedan igångsättningen 2009 och har vid skrivande tillfälle ett börsvärde på 1,6 biljoner svenska kronor. Detta ihop med den ekonomiska friheten som Bitcoin erbjuder gör att användarantalet ständigt ökar. Likt all ny teknik så tar det tid innan teknologin är fullt utvecklad och anpassad för den bredda massan. I följd av detta kan säkerheten lida vilket kan resultera till ekonomiska förluster. Denna forskningsinsats undersöker vad för åtgärder och strategier som kan användas för att öka säkerheten via en litteraturstudie. Insatsen undersöker även med hjälp av en enkätundersökning ställd till ett Bitcoin-forum om hur användare av Bitcoin hanterar sina privata nycklar. Arbetet visar att det finns åtgärder som bidrar till ökad säkerhet såsom kryptering och multisignatur men att det hänger mycket på vad användarna själva väljer för typ av bäst strategi för deras användningsområde. Enkätundersökning redovisar att majoriteten av användarna gör säkerhetsmedvetna beslut för hur de använder Bitcoin men att en andel nyttjar mindre önskade tillvägagångssätt. / Bitcoin has emerged as the most recognizable cryptocurrency since its inception in 2009 and, at the time of writing has a market capitalization of 165 billion dollars. This together with the financial freedom that Bitcoin offers means that the number of users is constantly increasing. Like all new technology, it takes time for the technology to be fully developed and adapted to the wider mass. As a result, security can suffer which can result in financial losses. This research effort explores what measures and strategies can be used to increase safety through a literature study. The effort also investigates with the help of a survey conducted at a Bitcoin forum on how users of Bitcoin manage their private keys. The work shows that there are measures that contribute to increased security such as encryption and multi-signature but that much depends on what the users themselves choose for the type of best strategy for their area of use. The survey shows that the majority of users make security-conscious decisions about how to use Bitcoin but that aproportion uses less desirable approaches.

På modemarknaden råder idag en stor konkurrens och det blir allt svårare att differentiera sitt företag. Ett ökat mediebrus distraherar kontinuerligt det budskap företaget vill sända ut till kundgruppen. Idag tvingas företagen ta ett allt större socialt ansvar främst av kommersiella skäl. Miljöengagemanget blir allt större och framför allt attityden och beteendet hos konsumenterna leder till en annan slags konsumtion eller rent av till en ny trend. Utifrån problematiseringen har vi undersökt, beskrivit samt analyserat marknadsförings-strategin av en kedjeägd- respektive en privatägd butik. De utvalda butikerna blev Brothers &amp; Sisters i Borås City respektive Centrum Manufaktur i Alingsås. Fokus låg på jämförelsen av marknadsföringen mellan två butiker, där en är centralstyrd och ingår i en kedja medan den andra är en enskild butik som är styrd i privat regi. Hur miljöperspektivet inkluderas i kommunikationen berördes också. Vi kartlagde skillnader och likheter samt fördelar och nackdelar med butikernas kommunikation och påverkan. De datainsamlingstekniker som har legat till grund för undersökningen är två personliga intervjuer och två enkäter. Intervjun har skett i möte med respondenten för respektive företag. Enkätundersökningen har genomförts på stan i Alingsås och Borås med ett icke sannolikhetsurval av respondenter. Undersökningen visade att både Brothers &amp; Sisters och Centrum Manufaktur använder sig främst av interna åtgärder för att konkurrera och skapa lönsamhet. Den övergripande strategin för att skapa differentiering och påverkan är genom valet av tre faktorer; service, sortiment och människor. Det som skiljer företagens marknadsföringsstrategier åt är valet av informationskanaler i marknadskommunikationen, organisationens uppbyggnad samt varumärkena som ingår i sortimentet. Företagen lyckas med att kommunicera ett starkt sortiment och god service då kunden förknippar företagen med just de här faktorerna. Att döma utifrån de genomförda intervjuerna och enkätundersökningarna blir det tydligt att en butik tillhörande en kedja samt en butik som bedrivs i privat regi, kan ha likvärdiga strategier och stöta på liknande problem när det gäller marknadsföringen och dess genomslagskraft.The fashion market is today highly competitive and it becomes increasingly difficult to differentiate their businesses. An increased media noise continually distracts the message the company wants to send to the client group. Today, companies are forced to take greater social responsibility mainly for commercial reasons. Environmental commitment is increasing, and above all the attitude and behavior of consumers leads to another kind of consumption or even to a new trend. From the issue we have examined, described and analyzed the marketing strategy of a chainstore and a privately owned shop. The selected stores were Brothers &amp; Sisters in Borås City and Centrum Manufaktur in Alingsås. The focus was on comparison of marketing between the two stores, one of which is part of a chain while the other is a single store that is operated privately. The environmental aspect included in the communication was also a part of the study. We map minded, similarities and differences, advantages and disadvantages of store communication and the influence on the market. The data collection techniques that were the subject of the investigation are two personal interviews and two surveys. The interview took place in a meeting with the respondent for their respective companies. The survey has been carried out on the town in Alingsås and Borås with a non-probability sample of respondents. The investigation revealed that both Brothers &amp; Sisters and Centrum Manufaktur mostly uses internal measures to compete and operate profitably. The overall strategy for creating differentiation and impact is through the choice of three factors: service, assortment and people. What distinguishes the firms marketing strategies were the selection of information channels of marketing communication, organization structure and the brands included in the assortment. The companies manage to communicate a strong range and good service when the customer associate companies with just these factors. Judging from the interviews and questionnaires, it becomes clear that a shop belonging to a chain and a store that is conducted in private, may have similar strategies and encounter similar problems in terms of marketing and its impact. / Program: Butikschefsutbildningen

Security protocols are ubiquitously used in various applications with the intention to ensure secure and private communication. To achieve this goal, a mechanism offering reliable and systematic protocol verification is needed. Accordingly, a major interest in academic research on formal methods for protocol analysis has been apparent for the last two decades. Such methods formalize the operational semantics of a protocol, laying the base for protocol verification with automatic model checking tools. So far, little work in this field has focused on protocol standardization. Within this thesis a security analysis of a novel Authenticated Key-Exchange (AKE) protocol for secure association handover between two Long-Term Evolution (LTE) base stations (which support dual-connectivity) is carried out by applying two state-of-the-art tools for automated model checking (Scyther and Tamarin Prover). In the course of this a formal protocol model and tool input models are developed. Finally, the suitability of the used tools for LTE protocol analysis is evaluated. The major outcome is that none of the two applied tools is capable to accurately model and verify the dual-connectivity protocol in such detail that it would make them particularly useful in the considered setting. The reason for this are restrictions in the syntax of Scyther and a degraded performance of Tamarin when using complex protocol input models. However, the use of formal methods in protocol standardization can be highly beneficial, since it implies a careful consideration of a protocol’s fundamentals. Hence, formal methods are helpful to improve and structure a protocol’s design process when applied in conjunction to current practices. / Säkerhetsprotokoll används i många typer av applikationer för att säkerställa säkerhet och integritet för kommunikation. För att uppnå detta mål behövs en behövs mekanismer som tillhandahåller pålitlig och systematisk verifiering av protokollen. Därför har det visats stort akademiskt intresse för forskning inom formell verifiering av säkerhetsprotokoll de senaste två decennierna. Sådana metoder formaliserar protokollsemantiken, vilket lägger grunden till automatiserad verifiering med modellverifieringsverktyg. Än så la¨nge har det inte varit stort focus på praktiska tilla¨mpningar, som t.ex. hur väl metoderna fungerar för de problem som dyker upp under en standardiseringsprocess. I detta examensarbete konstrueras en formell modell för ett säkerhetsprotokoll som etablerar en säkerhetsassociation mellan en terminal och två Long-Term Evolution (LTE) basstationer i ett delsystem kallat Dual Connectivity. Detta delsystem standardiseras för närvarande i 3GPP. Den formella modellen verifieras sedan med bästa tillgängliga verktyg för automatiserad modellverifiering (Scyther och Tamarin Prover). För att åstadkomma detta har den formella modellen implementerats i inmatningsspråken för de två verktygen.  Slutligen ha de två verktygen evaluerats. Huvudslutsatsen är att inget av de två verktygen tillräckligt väl kan modellera de koncept där maskinstödd verifiering som mest behövs. Skälen till detta är Scythers begränsade syntax, och Tamarins begränsade prestanda och möjlighet att terminera för komplexa protokollmodeller. Trots detta är formella metoder andvändbara i standardiseringsprocessen eftersom de tvingar fram väldigt noggrann granskning av protokollens fundamentala delar. Därför kan formella metoder bidra till att förbättra strukturen på protokollkonstruktionsprocessen om det kombineras med nuvarande metoder.

En undersökning av det upplevda behovet att införa digitala lås på en enhet i Södertälje kommun, ett kvalitetshus används för att välja ett system utav tre. Därefter kalkyleras vad en investering skulle kosta och slutligen levereras en kalkyl som visar vad ett införande skulle kunna generera i monetära termer. Att investera i en pilotanläggning med 77 brukare skulle kosta cirka 50 000 kronor, detta är en sanning med modifikation – alla kostnader är inte medräknade, utan bara licens för mjukvara och hårdvaran. Kalkylen visar en potentiell besparing på: 200 000 kronor om man räknar på 20-minuter, 100 000 kronor om man räknar på 10-minuter och 120 000 kronor om man räknar på 12-minuter. Idag använder kommunen traditionella (fysiska) nycklar och förvarar brukarnas nycklar i både större och mindre skåp hos enheterna. Enligt rutinen ska nycklarna tillbaka till nyckelskåpet vid ett eventuellt byte, detta medför att det blir väldigt mycket spring med nycklarna. Om ett trygghetslarm utlöses så har utföraren 30-minuter att inställa sig hos brukaren. Problem kan uppstå om nycklarna inte finns registrerade i systemet på rätt sätt, samt att personalen under dagen har överlämnat nycklarna till någon annan i personalen och inte lämnat tillbaka nycklarna till nyckelskåpet mellan överlämningarna. Det kan också vara så att nycklar försvinner, som sedan måste ersättas av kommunen. De största tidstjuvarna finns: vid larm, morgonrutinen och byten på dagen. Det händer mycket under en arbetsdag, vilket gör att personalen behöver byta nycklar med varandra och personalen löser detta på det bästa sättet för tillfället och inte alltid enligt rutinen. I rapporten undersöks vilka system som utförarna använder och slutsatsen är att det är lämpligt att försöka använda ett system som passar in smidigt i befintliga system, så att det inte blir ytterligare system. Det är även viktigt vid ett eventuellt införande fundera på hur kommunen tänker organisera sig vid: installation, underhåll och förvaltning – vill kommunen disponera antingen en central enhet, decentraliserad ute hos enheterna eller använda externa entreprenörer, exempelvis en låssmed. Utförarna är positiva och upplever att behovet finns att införa digitala lås, medan fastighetsägarna inte ser en direkt nytta med lösningen. Mycket beror på hur kommunen för dialogen och bjuder in till samtal vid ett tidigt stadium och förklarar vad man har tänkt sig för lösning. / A study of the perceived need to introduce digital locks on a unit in Södertälje municipality, a quality house is used to select a system of three. Then calculates what investment would cost and finally, a calculation will be presented which shows what an introduction could generate in monetary terms. Investing in a pilot plant with 77 users would cost about SEK 50,000, this is a truth with modification - all costs are included, but only software and hardware licenses. If you count in 20 minutes, 100,000 kronor if you count 10 minutes and 120,000 kronor if you count in 12 minutes. Today, the municipality uses traditional (physical) keys and stores users' keys in both larger and smaller cabinets at the units. According to the routine, the keys should be returned to the key cabinet in the event of a change, which means that there will be a lot of running with the keys. If a security alarm is triggered, the operator has a 30-minute setting for the user. Problems can occur if the keys are not properly registered in the system, as well as during the day that staff have handed the keys to someone else in the staff and did not return the keys to the key box between the handover. It can also be that keys disappear, which must then be replaced by the municipality. The biggest time thieves are: in case of alarm, morning routine, and change of day. It happens a lot during a working day, which means that the staff needs to change keys with each other and staff solve this in the best way for the moment and not always according to the routine. In the reports investigate which system the executives use and the conclusion is that it is appropriate to use a system that fits smoothly into existing systems so that there is no additional system. It is also important for a possible introduction to thinking about how the municipality intends to organize: installation, maintenance, and management - which the municipality has either a central unit, decentralized out of the units or use external contractors, such as a locksmith. The performers are positive and feel that the need is to introduce digital locks, while the property owners do not see a direct benefit from the solution. Much depends on how the municipality for the dialogue and invites to talks at an early stadium and explains what you are planning for a solution.

Syftet med denna studie har varit att undersöka möjligheterna till att öka elevernas motivation till att lära sig obekanta rörelser. Den praktiska undervisningen har varit inspirerad av Parkour och planeringen av den intervention som genomfördes har skett med inspiration av diverse teorier om lärande. Dessa teorier var Antonovskys KASAM-begrepp, Vygotskijs sociokulturella perspektiv på lärande, samt den dynamiska systemteorin. För att kunna undersöka elevers motivation så har interventionen genomförts på en högstadieskola i Mellansverige, där två klasser från årskurs 9 deltagit i undersökningen. Båda klasserna besvarade enkäter innan genomförd intervention, samt efter den genomförd intervention. Mellan de båda enkäterna så har eleverna i en klass, studiens experimentgrupp, genomgått undervisning tillsammans med en interventionspedagog (hädanefter hänvisad till genom förkortningen IP). Den andra gruppen, studiens kontrollgrupp, har genomgått undervisning med deras ordinarie pedagog (hädanefter hänvisad till genom förkortningen OP).Det visade sig genom sammanställningen av enkäterna, att en grupp kom att höja sin motivationsnivå för deltagande i undervisningen, medan den andra gruppen kom att sänka sin motivationsgrad för deltagande i undervisningen. Resultatet diskuterades ur olika synvinklar, där är en aspekt som framkommer som kan ha spelat en mer central roll än övriga delar i att det blev den förändring mellan grupperna som det blev.