Internet-of-things - it-forum 11. November 2013Unvirtual
Morgenmødet med Peter Dreyer og Claus Bo Nielsen giver dig en indsigt i hvad 'Internet of things' er - og måske ikke er. Du bliver klogere på, hvad der findes af produkter og services på markedet i dag og på hvor IoT kan revolutionere eksisterende forretningsmodeller.
Du behøver - endnu - ikke skamme dig, hvis din brødrister ikke er på Twitter ...
I mere end 10 år har "Internet of things'", tingenes internets, været et it buzz-word. Forudsigelserne har lydt på, at vi mennesker snart vil komme i mindretal på internettet til fordel for et overtal af, netop - "ting". Biler, køleskabe, kaffemaskiner, urtepotter, mælkekartoner og meget andet vil udveksle data og reagere uden vores indblanding.
Visionen er, at vores liv og arbejde vil blive nemmere og mere effektivt ved, at vi lader ting omkring os handle og udføre banale opgaver i samarbejde med andre ting, på basis af hvad de i fællesskab sanser og hvad de henter af data på internettet - uden vores indblanding. Men, mine stueplanter dør stadig - min bil snakker ikke med mit værksted før det er for sent…) og hvor fedt er det lige, at min kaffemaskine afbryder TV-transmisionen af Champions League finalen, for at fortælle mig at varmelegemerne snart skal afkalkes? Revolutionen har faktisk ladet vente på sig; det er lidt som olie og vand, den fysiske verden og den digitale flyder ikke så let sammen.
Og så alligevel; tingene begynder faktisk så småt at vågne. The Internet of Things (IoT) er diskret begyndt at lette vores arbejde, gøre vores produktion mere effektiv og skabe produkter af større værdi for vores kunder – og dermed gøre produkterne mere konkurrencedygtige. Industrirobotter, der snakker med hinanden hen over samlebåndet er ét eksempel på optimerede processer, men sensorer og netværk får betydning overalt.
Kombinationen af elektroniske sensorer og adgang til internettet giver nu tingene en enestående kapacitet, som i nogle situationer overgår vores egen formåen. Vi skal forstå at udnytte mulighederne. Lige nu. For teknologierne er nu så modne, at de har forladt laboratorierne og i dag er anvendelige for det brede erhvervsliv, hvor de kan blive en afgørende parameter for dansk konkurrenceevne.
Internet of things - morgeninspiration hos Peytz & Co Peytz & Co
Internet of things er og bliver imponerende stort. Disse slides dannede baggrund for en gennemgang af - i første halvleg eksempler, perspektiver, løfter og trusler og i anden halvleg tips til at grube forretningsudviklingen an. Det hele foregik hos Peytz & Co til morgeninspiration den 8 marts 2016
Secrecy and Authenticity Properties of the Lightning Network ProtocolHans Hyttel
The document analyzes the security properties of the Lightning Network protocol using the ProVerif tool. It describes the key agreement protocol used to establish secure connections between nodes. ProVerif is used to verify that the session keys generated during key agreement are kept secret. It also checks that the protocol satisfies authenticity properties by ensuring initiated connections are correctly associated with participants. The analysis shows the session keys are secret but authenticity of initiated connections is only guaranteed for responding nodes, not initiating nodes.
Internet-of-things - it-forum 11. November 2013Unvirtual
Morgenmødet med Peter Dreyer og Claus Bo Nielsen giver dig en indsigt i hvad 'Internet of things' er - og måske ikke er. Du bliver klogere på, hvad der findes af produkter og services på markedet i dag og på hvor IoT kan revolutionere eksisterende forretningsmodeller.
Du behøver - endnu - ikke skamme dig, hvis din brødrister ikke er på Twitter ...
I mere end 10 år har "Internet of things'", tingenes internets, været et it buzz-word. Forudsigelserne har lydt på, at vi mennesker snart vil komme i mindretal på internettet til fordel for et overtal af, netop - "ting". Biler, køleskabe, kaffemaskiner, urtepotter, mælkekartoner og meget andet vil udveksle data og reagere uden vores indblanding.
Visionen er, at vores liv og arbejde vil blive nemmere og mere effektivt ved, at vi lader ting omkring os handle og udføre banale opgaver i samarbejde med andre ting, på basis af hvad de i fællesskab sanser og hvad de henter af data på internettet - uden vores indblanding. Men, mine stueplanter dør stadig - min bil snakker ikke med mit værksted før det er for sent…) og hvor fedt er det lige, at min kaffemaskine afbryder TV-transmisionen af Champions League finalen, for at fortælle mig at varmelegemerne snart skal afkalkes? Revolutionen har faktisk ladet vente på sig; det er lidt som olie og vand, den fysiske verden og den digitale flyder ikke så let sammen.
Og så alligevel; tingene begynder faktisk så småt at vågne. The Internet of Things (IoT) er diskret begyndt at lette vores arbejde, gøre vores produktion mere effektiv og skabe produkter af større værdi for vores kunder – og dermed gøre produkterne mere konkurrencedygtige. Industrirobotter, der snakker med hinanden hen over samlebåndet er ét eksempel på optimerede processer, men sensorer og netværk får betydning overalt.
Kombinationen af elektroniske sensorer og adgang til internettet giver nu tingene en enestående kapacitet, som i nogle situationer overgår vores egen formåen. Vi skal forstå at udnytte mulighederne. Lige nu. For teknologierne er nu så modne, at de har forladt laboratorierne og i dag er anvendelige for det brede erhvervsliv, hvor de kan blive en afgørende parameter for dansk konkurrenceevne.
Internet of things - morgeninspiration hos Peytz & Co Peytz & Co
Internet of things er og bliver imponerende stort. Disse slides dannede baggrund for en gennemgang af - i første halvleg eksempler, perspektiver, løfter og trusler og i anden halvleg tips til at grube forretningsudviklingen an. Det hele foregik hos Peytz & Co til morgeninspiration den 8 marts 2016
Secrecy and Authenticity Properties of the Lightning Network ProtocolHans Hyttel
The document analyzes the security properties of the Lightning Network protocol using the ProVerif tool. It describes the key agreement protocol used to establish secure connections between nodes. ProVerif is used to verify that the session keys generated during key agreement are kept secret. It also checks that the protocol satisfies authenticity properties by ensuring initiated connections are correctly associated with participants. The analysis shows the session keys are secret but authenticity of initiated connections is only guaranteed for responding nodes, not initiating nodes.
Binary Session Types for Psi-Calculi (APLAS 2016)Hans Hyttel
This document presents a generic type system for binary session types in the ψ-calculus setting. It defines a generic type system where types have addition and transition rules, and instances of the type system are defined by specifying types, terms, assertions, and conditions. The generic system includes type rules for processes and assertions. It proves a general fidelity theorem showing that known type systems can be represented as instances and fidelity holds for each instance. Further work includes improving the characterization of type safety for instances and handling other notions of duality.
Presentation 20 august 2014 (departmental meeting)Hans Hyttel
A study of the correlation between maths grades in Danish secondary schools and the grades in four mathematically oriented subjects in the computer science undergraduate programme at Aalborg University.
Binary Session Types for Psi-Calculi (APLAS 2016)Hans Hyttel
This document presents a generic type system for binary session types in the ψ-calculus setting. It defines a generic type system where types have addition and transition rules, and instances of the type system are defined by specifying types, terms, assertions, and conditions. The generic system includes type rules for processes and assertions. It proves a general fidelity theorem showing that known type systems can be represented as instances and fidelity holds for each instance. Further work includes improving the characterization of type safety for instances and handling other notions of duality.
Presentation 20 august 2014 (departmental meeting)Hans Hyttel
A study of the correlation between maths grades in Danish secondary schools and the grades in four mathematically oriented subjects in the computer science undergraduate programme at Aalborg University.
Overvågning – kort foredrag ved Akademisk Salon 6. april 2017
1. Der er nogen, der våger over dig,
og hvor smart er det egentlig?
Hans Hüttel
Institut for datalogi, AAU
2. To slags overvågning
• Planlagt overvågning
• “Overvågning som biprodukt”
(Jeg vil ikke fokusere eksplicit på Smart Cities; der er noget mere generelt på spil
her.)
3. Data og metadata
Man kan opsnappe og analysere data, men metadata
(“data om data”) er tit lige så interessante.
I forbindelse med mobiltelefoni er typiske metadata
• Hvem man har ringet til
• Opkaldets varighed
• Telefonens IMEI-nummer
• Hvilken mobilmast, opkaldet var forbundet til.
5. Jeg vil ikke sige noget om NSAs overvågning
Det ville blive et langt foredrag i sig selv!
6. Hvad siger menneskerettighederne egentlig?
Artikel 12 i FN's Verdenserklæring om
Menneskerettighederne (1948) siger
Ingen må være genstand for vilkårlig indblanding i private
forhold, familie, hjem eller korrespondance, ej heller for
angreb på ære og omdømme. Enhver har ret til lovens
beskyttelse mod sådan indblanding eller angreb.
(Men hvad er dét?)
7. De Forenede Arabiske Emirater
Menneskerettighedsaktivisten Ahmed Mansoor har flere gange været
udsat for forsøg på målrettet overvågning, formentlig fra landets
myndigheder. I 2012 blev der installeret en “bagdør” på hans
computer.
8. Vietnam
Den tidligere politibetjent Nguyen Huu Vinh blev i 2016 idømt 5
års fængsel for at have skrevet regeringskritiske indlæg på sin
blog.
9.
10. En god (?) nordjysk arbejdsplads
• BAE Systems er en af verdens største producenter af
våben og overvågningsteknologi
• BAE Systems har en afdeling i Nørresundby med
omkring 200 ansatte; mange af dem har uddannelse fra
AAU
11. Planlagt overvågning
• Erhvervsstyrelsen udstedte i sommeren 2016 en
eksporttilladelse til BAE Systems Applied Intelligence
A/S, som giver selskabet lov til at sælge et »IP-
overvågnings- og dataanalysesystem til brug for
national sikkerhed og efterforskning af alvorlige
forbrydelser« til Indenrigsministeriet i De Forenede
Arabiske Emirater.
12. Hvad kan denne slags systemer?
• Udtræk af udvalgte metadata og applikationsindhold
(f.eks. stemmer, videoer, beskeder, vedhæftede filer)
• Kan kortlægge en enkeltpersons eller en gruppe af
menneskers sociale netværk.
13. Hvad siger lovgivningen?
• Fra nytåret 2015 har overvågningsteknologi været omfattet
af EUs regler for eksportkontrol. Det kræver i Danmark en
tilladelse fra Erhvervsstyrelsen at eksportere den slags
teknologi til lande uden for EU.
• Men siden da har EU-landene udstedt mindst 317 tilladelser
og givet 14 afslag, og en stor del går til lande med et
problematisk forhold til menneskerettighederne.
• Den 9. november 2016 gav Erhvervsstyrelsen (ifølge
dagbladet Information) “et dansk firma” tilladelse til at
demonstrere et system til overvågning af internettrafik for
potentielle kunder i Vietnam.
15. Open Source Intelligence (OSINT)
• Statusopdateringer, kommentarer og likes på Facebook
• Tweets på Twitter
• Billeder på Instagram
• Likes og dislikes på YouTube
• Anmeldelser af varekøb på netbutikker
• osv. osv.
28. Det er blevet lovligt at sælge data om dig
• Browser-historikken er metadata, der fortæller hvilke
websider man har besøgt og hvornår.
• I USA har Kongressen nu gjort det lovligt for
internetudbydere at sælge brugeres browser-historik og
app-historik til reklamebureauer.
29. Og samtidig, herhjemme…
Efter terrorhandlingerne i København i 2015 fik
Rigspolitiet en trecifret millionbevilling til indkøb af et
overvågningssystem – leveret af det amerikanske firma
Palantir (som har samarbejdet med NSA).
Systemet skal gøre det muligt at søge på tværs af politiets
interne databaser, men kan også konfigureres til at
undersøge den mistænktes åbent tilgængelige adfærd på
Internettet, herunder på de sociale medier.
30. Spørgsmål til os
• Hvordan har vi det med at Aalborg Universitet har BAE
Systems som officiel samarbejdspartner? Vil vi selv
arbejde der?
• Hvilke af vore ejendele er forbundet til Internettet?
• Må alle benytte de oplysninger om os, som vi lægger
åbent frem på de sociale medier?
• Hvad skal vi lære vores børn om overvågning?
• Er det smarte samfund ved at blive lige lovlig smart?