1 <?xml version=
"1.0" encoding=
"ISO-8859-1"?>
2 <rss version='
2.0' xmlns:lj='http://www.livejournal.org/rss/lj/
1.0/'
>
4 <title>Petter Reinholdtsen - Entries from September
2012</title>
5 <description>Entries from September
2012</description>
6 <link>http://people.skolelinux.org/pere/blog/
</link>
10 <title>Seventy percent done with Norwegian docbook version of Free Culture
</title>
11 <link>http://people.skolelinux.org/pere/blog/Seventy_percent_done_with_Norwegian_docbook_version_of_Free_Culture.html
</link>
12 <guid isPermaLink=
"true">http://people.skolelinux.org/pere/blog/Seventy_percent_done_with_Norwegian_docbook_version_of_Free_Culture.html
</guid>
13 <pubDate>Sun,
23 Sep
2012 09:
30:
00 +
0200</pubDate>
14 <description><p
>Since this summer, I have worked in my spare time on a Norwegian
<a
15 href=
"http://www.docbook.org/
">docbook
</a
> version of the
2004 book
<a
16 href=
"http://free-culture.cc/
">Free Culture
</a
> by Lawrence Lessig.
17 The reason is that this book is a great primer on what problems exist
18 in the current copyright laws, and I want it to be available also for
19 those that are reluctant do read an English book.
22 <a href=
"http://people.skolelinux.org/pere/blog/Dugnad_for___sende_norsk_versjon_av_Free_Culture_til_stortingets_representanter_.html
">called
23 for volunteers
</a
> to help me, but too few have volunteered so far,
24 and progress is a bit slow. Anyway, today I broken the
70 percent
25 mark for the first rough translation. At the moment, less than
700
26 strings (paragraphs, index terms, titles) are left to translate. With
27 my current progress of
10-
20 strings per day, it will take a while to
28 complete the translation. This graph show the updated progress:
</p
>
30 <img width=
"80%
" align=
"center
" src=
"https://github.com/petterreinholdtsen/free-culture-lessig/raw/master/progress.png
">
32 <p
>Progress have slowed down lately due to family and work
33 commitments. If you want to help, please get in touch, and check out
34 the project files currently available from
35 <a href=
"https://github.com/petterreinholdtsen/free-culture-lessig
">github
</a
>.
</p
>
37 <p
>If you are curious what the translated book currently look like,
39 <a href=
"https://github.com/petterreinholdtsen/free-culture-lessig/blob/master/archive/freeculture.nb.pdf?raw=true
">PDF
</a
>
41 <a href=
"https://github.com/petterreinholdtsen/free-culture-lessig/blob/master/archive/freeculture.nb.epub?raw=true
">EPUB
</a
>
42 are published on github. The HTML version is published as well, but
43 github hand it out with MIME type text/plain, confusing browsers, so I
44 saw no point in linking to that version.
</p
>
49 <title>Vitenskaplig metode i politikken?
</title>
50 <link>http://people.skolelinux.org/pere/blog/Vitenskaplig_metode_i_politikken_.html
</link>
51 <guid isPermaLink=
"true">http://people.skolelinux.org/pere/blog/Vitenskaplig_metode_i_politikken_.html
</guid>
52 <pubDate>Thu,
20 Sep
2012 20:
00:
00 +
0200</pubDate>
53 <description><p
>Jeg ble for noen dager siden tipset om en rapport utarbeidet av
54 Cabinet Office i England ved navn
55 <a href=
"http://www.cabinetoffice.gov.uk/resource-library/test-learn-adapt-developing-public-policy-randomised-controlled-trials
">Test,
56 Learn, Adapt: Developing Public Policy with Randomised Controlled
57 Trials
</a
>, skrevet av blant annet Ben Goldacre (som jeg først ble
58 klar over da han holdt et veldig interessant TED-foredrag med tittel
59 <a href=
"http://archive.org/details/BenGoldacre_2011G
">Battling bad
60 science
</a
>). Rapporten handler om hvordan det offentlige burde bruke
61 vitenskaplige metoder i større grad for å finne ut hvilke virkemidler
62 som er mest effektive når en skal regulere samfunnet. Her er et sitat
63 fra starten av rapporten:
</p
>
66 <p
>Randomised controlled trials (RCTs) are the best way to determine
67 wheather a policy is working. They are now used extensively in
68 international development, medicine, and business to identify which
69 policy, drug or sales method is most effective. They are also at
70 the heart of the Behavioural Insights Team
's methodology.
</p
>
72 <p
>However, RCTs are not rutinely used to test the effectiveness of
73 public policy interventions in the UK. We think they should be.
</p
>
76 <p
>Her tror jeg også Norge har noe å lære. Det offentlige bruker mye
77 penger på aktiviteter der det ikke er åpenbart (og heller ikke blir
78 målt) at den reelle effekten er det en ønsker å oppnå. Ruters
79 elektroniske billettsystem, NAV-reformen, økt bruk av penger på
80 politiet og sykehussammenslåinger kommer meg i hug.
</p
>
85 <title>Debian Edu interview: Giorgio Pioda
</title>
86 <link>http://people.skolelinux.org/pere/blog/Debian_Edu_interview__Giorgio_Pioda.html
</link>
87 <guid isPermaLink=
"true">http://people.skolelinux.org/pere/blog/Debian_Edu_interview__Giorgio_Pioda.html
</guid>
88 <pubDate>Mon,
17 Sep
2012 14:
10:
00 +
0200</pubDate>
89 <description><p
>After a long break in my row of interviews with people in the
90 <a href=
"http://www.skolelinux.org/
">Debian Edu and Skolelinux
</a
>
91 community, I finally found time to wrap up another. This time it is
92 Giorgio Pioda, which showed up on the mailing list at the start of
93 this year, asking questions and inspiring us to improve the first time
94 administrators experience with Skolelinux. :) The interview was
95 conduced in May, but I only found time to publish it now.
</p
>
97 <p
><strong
>Who are you, and how do you spend your days?
</strong
></p
>
99 <p
>I have a PhD in chemistry but since several years I work as teacher
100 in secondary (
15-
18 year old students) and tertiary (a kind of
"light
"
101 university) schools. Five years ago I started to manage a Learning
102 Management Service server and slowly I got more and more involved with
103 IT.
3 years ago the graduating schools moved completely to Linux and I
104 got the head of the IT for this. The experience collected in chemistry
105 labs computers (for example NMR analysis of protein folding) and in
106 the IT-courses during university where sufficient to start. Self
107 training is anyway very important
</p
>
109 <p
>I live in the Italian speaking part of Switzerland, and the
110 <a href=
"http://www.spse.ch/
">SPSE school
</a
> (secondary) is a very
111 special sport school for young people who try to became sport pro (for
112 all sports, we have dozens of disciplines represented) and we are
113 recognised by the Olympic Swiss Organisation.
115 <p
><strong
>How did you get in contact with the Skolelinux/Debian Edu
116 project?
</strong
></p
>
118 <p
>Looking for Linux / Primary Domain Controller (PDC) I found it
119 already several years ago. But since the system was still not
120 Kerberized and since our schools relies strongly on laptops I didn
't
121 use it. I plan to introduce it in the next future, probably for the
122 next school year, since the squeeze release solved this security
125 <p
><strong
>What do you see as the advantages of Skolelinux/Debian
126 Edu?
</strong
></p
>
128 <p
>Many. First of all there is a strong and living community that is
129 very generous for help and hints. Chat help is crucial, together with
130 the mailing list. Second. With Skolelinux you get an already well
131 engineered platform and you don
't have to start to build up your PDC
132 and your clients from GNU/scratch; I
've already done this once and I
133 can tell it, it is hard. Third, since Skolelinux is a standard
134 platform, it is way easier to educate other IT people and even if the
135 head IT is sick another one could pick up the task without too much
138 <p
><strong
>What do you see as the disadvantages of Skolelinux/Debian
139 Edu?
</strong
></p
>
141 <p
>The only real problem I see is that it is a little too less
142 flexible at client level. Debian stable is rocky and desirable, but
143 there are many reasons that force for another choice. For example the
144 need of new drivers for new PC, or the need for a specific OS for some
145 devices that have specific software packages for another specific
146 distribution (I have such a case for whiteboards that have only
147 Ubuntu packages). Thus, I prepared compatibility packages educlient
148 and eduroaming, hoping not to use them ;-)
</p
>
150 <p
><strong
>Which free software do you use daily?
</strong
></p
>
152 <p
>I have a Debian Stable PDC at school (Kerberos, NIS, NFS) with
153 mixed Debian and Ubuntu clients. If you think that this triad
154 combination is exotic... well I discovered right yesterday that
155 <a href=
"http://moo.nac.uci.edu/~hjm/Perceus-Report.html
">Perceus
</a
>
156 has the same...
</p
>
158 <p
>For myself I run Debian wheezy/sid, but this combination is good
159 only I you have enough competence to fix stuff for yourself, if
160 something breaks. Daily I use texmacs, gnumeric, a little bit of R
161 statistics, kmplot, and less frequently OpenOffice.org.
</p
>
163 <p
><strong
>Which strategy do you believe is the right one to use to
164 get schools to use free software?
</strong
></p
>
166 <P
>I think that the only real argument that school managers
"hear
" is
167 cost reduction. They don
't give too much weight on quality, stability,
168 just because they are normally not open to change.
</p
>
170 <p
>Students adapts very quickly to GNU/Linux (and for them being able
171 to switch between different OS is a plus value); teachers and managers
174 <p
>We decided to move to Linux because students at our school have own
175 laptop and we have the responsibility to keep the laptop ready to use;
176 we were really unsatisfied with Microsoft since every Monday we had
20
177 machine to fix for viral infections... With Linux this has been
178 reduced to zero, since people installs almost only from official
179 repositories. I think that our special needs brought us to Linux.
180 Those who don
't have such needs will hardly move to Linux.
</p
>
185 <title>Naturvernforbundet i Oslo bruker OpenStreetmap i sin kalender
</title>
186 <link>http://people.skolelinux.org/pere/blog/Naturvernforbundet_i_Oslo_bruker_OpenStreetmap_i_sin_kalender.html
</link>
187 <guid isPermaLink=
"true">http://people.skolelinux.org/pere/blog/Naturvernforbundet_i_Oslo_bruker_OpenStreetmap_i_sin_kalender.html
</guid>
188 <pubDate>Sun,
16 Sep
2012 12:
00:
00 +
0200</pubDate>
189 <description><p
>Veldig morsomt å se at
190 <a href=
"http://naturvernforbundet.no/noa/
">Naturvernforbundet Oslo og
191 Akershus
</a
> bruker kart fra
192 <a href=
"http://www.openstreetmap.no/
">OpenStreetmap.org
<a/
> i
193 <a href=
"http://naturvernforbundet.no/noa/bestill-markakalenderen-
2013-article24039-
1939.html
">sine
194 kalendere
</a
>. Vidar Gundersen i kartgruppa
195 <a href=
"http://lists.nuug.no/pipermail/kart/
2012-September/
003696.html
">forteller
196 på den norske epostlisten
</a
> til prosjektet at hvert blad i
197 kalenderen har et turforslag på baksiden, med kart fra OpenStreetmap.
198 Tidligere kjøpte de visst kart fra kartverket, men nå slipper de
201 <p
>Denne nyheten synes jeg er fantastisk bra, og jeg håper de får
202 følge av flere, slik at det potensielle og fryktede inntektstapet for
203 kartverket ved frigjøring av kartdata blir mindre, og forhåpentligvis
204 til slutt så lite at frykten for å frigjøre data overvinnes.
</p
>
209 <title>IETF activity to standardise video codec
</title>
210 <link>http://people.skolelinux.org/pere/blog/IETF_activity_to_standardise_video_codec.html
</link>
211 <guid isPermaLink=
"true">http://people.skolelinux.org/pere/blog/IETF_activity_to_standardise_video_codec.html
</guid>
212 <pubDate>Sat,
15 Sep
2012 20:
00:
00 +
0200</pubDate>
213 <description><p
>After the
214 <a href=
"http://people.skolelinux.org/pere/blog/IETF_standardize_its_first_multimedia_codec__Opus.html
">Opus
215 codec made
</a
> it into
<a href=
"http://www.ietf.org/
">IETF
</a
> as
216 <a href=
"http://tools.ietf.org/html/rfc6716
">RFC
6716</a
>, I had a look
217 to see if there is any activity in IETF to standardise a video codec
218 too, and I was happy to discover that there is some activity in this
219 area. A non-
"working group
" mailing list
220 <a href=
"https://www.ietf.org/mailman/listinfo/video-codec
">video-codec
</a
>
222 <a href=
"http://ietf
.10.n7.nabble.com/New-Non-WG-Mailing-List-video-codec-Video-codec-BoF-discussion-list-td119548.html
">created
2012-
08-
20</a
>. It is intended to discuss the topic and if a
223 formal working group should be formed.
</p
>
225 <p
>I look forward to see how this plays out. There is already
226 <a href=
"http://www.ietf.org/mail-archive/web/video-codec/current/msg00003.html
">an
227 email from someone
</a
> in the MPEG group at ISO asking people to
228 participate in the ISO group. Given how ISO failed with OOXML and given
229 that it so far (as far as I can remember) only have produced
230 multimedia formats requiring royalty payments, I suspect
231 joining the ISO group would be a complete waste of time, but I am not
232 involved in any codec work and my opinion will not matter much.
</p
>
234 <p
>If one of my readers is involved with codec work, I hope she will
235 join this work to standardise a royalty free video codec within
241 <title>IETF standardize its first multimedia codec: Opus
</title>
242 <link>http://people.skolelinux.org/pere/blog/IETF_standardize_its_first_multimedia_codec__Opus.html
</link>
243 <guid isPermaLink=
"true">http://people.skolelinux.org/pere/blog/IETF_standardize_its_first_multimedia_codec__Opus.html
</guid>
244 <pubDate>Wed,
12 Sep
2012 13:
50:
00 +
0200</pubDate>
245 <description><p
>Yesterday,
<a href=
"http://www.ietf.org/
">IETF
</a
> announced the
247 <a href=
"http://tools.ietf.org/html/rfc6716
">RFC
6716, the Definition
248 of the Opus Audio Codec
</a
>, a low latency, variable bandwidth, codec
249 intended for both VoIP, film and music. This is the first time, as
250 far as I know, that IETF have standardized a multimedia codec. In
251 <a href=
"http://tools.ietf.org/html/rfc3533
">RFC
3533</a
>, IETF
252 standardized the OGG container format, and it has proven to be a great
253 royalty free container for audio, video and movies. I hope IETF will
254 continue to standardize more royalty free codeces, after ISO and MPEG
255 have proven incapable of securing everyone equal rights to publish
256 multimedia content on the Internet.
</p
>
258 <p
>IETF require two interoperating independent implementations to
259 ratify a standard, and have so far ensured to only standardize royalty
260 free specifications. Both are key factors to allow everyone (rich and
261 poor), to compete on equal terms on the Internet.
</p
>
263 <p
>Visit the
<a href=
"http://opus-codec.org/
">Opus project page
</a
> if
264 you want to learn more about the solution.
</p
>
269 <title>E-valg, fortsatt en dårlig idé (evaluering legges frem i Oslo)
</title>
270 <link>http://people.skolelinux.org/pere/blog/E_valg__fortsatt_en_d_rlig_id___evaluering_legges_frem_i_Oslo_.html
</link>
271 <guid isPermaLink=
"true">http://people.skolelinux.org/pere/blog/E_valg__fortsatt_en_d_rlig_id___evaluering_legges_frem_i_Oslo_.html
</guid>
272 <pubDate>Tue,
11 Sep
2012 10:
30:
00 +
0200</pubDate>
273 <description><p
>I
2006 var forslaget om å gjennomføre politiske valg over Internet
275 <a href=
"http://www.nuug.no/dokumenter/valg-horing-
2006-
09.pdf
">NUUG
276 skrev en høringsuttalelse
</a
> (som EFN endte opp med å støtte), som
277 fortsatt er like aktuell. Jeg ble minnet på om den da jeg leste et
278 innlegg i Bergens Tidende med tittelen
279 <a href=
"http://blogg.bt.no/preik/
2012/
09/
11/e-valg/
">En dårlig idé
</a
>
280 som poengterer hvor viktig det er å holde fast ved at vi skal ha
281 hemmelige valg i Norge, og at det nødvendigvis fører til at vi ikke
282 kan ha valg over Internet.
</p
>
284 <p
>Innlegget i BT forteller at det skal være et
285 <a href=
"http://www.samfunnsforskning.no/ISF-intern/ISF-Agenda/E-valg-i-et-demokratisk-perspektiv
">seminar
286 om evalueringen av e-valgforsøket
</a
> på Litteraturhuset i morgen
287 2012-
09-
12 9-
11:
45. Jeg hadde ikke fått med meg dette før nå, og
288 kommer meg nok dessverre ikke innom, men håper det møter mange som
289 fortsatt kan bidra til å få skutt ned e-valgsgalskapen.
</p
>
291 <p
>Det er lenge siden
2006, og jeg regner med at de fleste av mine
292 lesere har glemt eller ikke har lest høringsuttalelsen fra NUUG. Jeg
293 gjengir den derfor her i sin helhet.
</p
>
296 <p
><strong
>Høringsuttalelse fra NUUG og EFN om elektronisk
297 stemmegivning
</strong
></p
>
299 <p
>Petter Reinholdtsen
300 <br
>Leder i foreningen NUUG
301 <br
>2006-
09-
30</p
>
303 <p
>Foreningene NUUG og EFN er glade for å ha blitt invitert til å
304 kommentere utredningen om elektronisk stemmegivning, og håper våre
305 innspill kan komme til nytte. Denne uttalelsen er ført i pennen av
306 NUUGs leder Petter Reinholdtsen med innspill fra Tore Audun Høie, Erik
307 Naggum og Håvard Fosseng.
</p
>
309 <p
>Når en vurderer elektronisk stemmegivning, så tror vi det er viktig
310 å ha prinsippene for gode valg i bakhodet. Vi har tatt utgangspunkt i
311 listen fra Cranor, L.F. og Cytron, R.K. i
"Design and Implementation
312 of a Security-Conscious Electronic Polling System
", som oppsummerer
313 hvilke egenskaper som er viktige:
</p
>
317 <li
>Nøyaktig - et system er nøyaktig hvis det ikke er mulig å endre en
318 stemme, det ikke er mulig å fjerne en gyldig stemme fra den endelige
319 opptellingen og det ikke er mulig for en ugyldig stemme å bli talt med
320 i den endelige opptellingen. Fullstendig nøyaktige systemer sikrer at
321 den endelige opptellingen er perfekt, enten ved sikre at
322 unøyaktigheter ikke kan bli introdusert eller kan oppdages og
323 korrigert for. Delvis nøyaktige systemer kan oppdage men ikke
324 nødvendigvis korrigere unøyaktigheter.
</li
>
326 <li
>Demokratisk - et system er demokratisk hvis kun de som har lov til
327 å stemme kan stemme, og det sikrer at hver av dem kun kan stemme en
330 <li
>Hemmelig - et system er hemmelig hvis ingen, hverken de som
331 arrangerer valget eller noen andre kan knytte en stemmeseddel til den
332 som avga den, og ingen stemmegiver kan bevise at han eller hun stemte
333 på en bestemt måte. Dette er spesielt viktig for å hindre kjøp og salg
334 av stemmer og at personer kan tvinges til å stemme på en bestemt
337 <li
>Etterprøvbart - et system er etterprøvbart hvis hvem som helst
338 uavhengig kan kontrollere at opptellingen er korrekt.
</li
>
342 <p
>Et demokratisk valg må sikre at disse punktene er oppfylt. Det er
343 med den bakgrunn vi vurderer elektronisk stemmegivning.
</p
>
345 <p
>Nøyaktig opptelling kan kun oppnås hvis alle steg i
346 opptellingsprosessen kan kontrolleres og verifiseres. Det må ikke må
347 være mulig å fjerne eller endre avgitte stemmer, og heller ikke mulig
348 å legge inn flere stemmer enn det som faktisk er avgitt. Elektronisk
349 lagring av avgitte stemmer kan gjør det svært enkelt å endre på
350 avgitte stemmer uten at det er mulig å oppdage det i
351 ettertid. Elektronisk lagring vil også gjøre det mulig å lagre en
352 annen stemme enn det som er blitt avgitt, selv om det så korrekt ut
353 for den som avga stemmen. Vi mener derfor det er viktig at elektronisk
354 stemmegivning gjøres via papir eller tilsvarende, slik at de som
355 stemmer kan kontrollere at den stemmen de har avgitt er den som blir
356 talt opp. I Australia brukes det et system der de som stemmer gjør
357 sitt valg på en skjerm, og stemmen så skrives ut på en papirrull som
358 sjekkes av den som stemmer før papirrullen leses inn av
359 opptellingssystemet. En sikrer slik at hver enkelt stemme kan
360 kontrolleres på nytt.
</p
>
362 <p
>Etterprøvbarhet kan kun oppnås hvis hver enkelt stemmegiver kan
363 kontrollere hele systemet som brukes for stemmegivning. For at dette
364 skal være mulig er en nødvendig betingelse at en har innsyn i hvordan
365 systemene er satt sammen, og hvordan de brukes. Selv om de aller
366 fleste ikke selv vil kunne gjennomføre en slik kontroll, er det viktig
367 at flere uavhengige eksperter kan sjekke systemet. Velgerne bør kunne
368 velge hvilke eksperter de vil stole på. Dette forutsetter blant annet
369 tilgang til kildekoden og informasjon om hvordan de ulike delene av
370 det totale stemmegivingssystemet er koblet. Lukkede systemer der
371 kildekoden ikke er tilgjengelig og en ikke kan kontrollere systemene
372 som brukes under selve valgene, er sårbare for trojanere (programvare
373 som gjør noe annet og/eller mer enn det leverandøren sier den skal,
374 f.eks. endre sluttresulatet av en opptelling) og påvirkning fra
375 leverandøren. Det er påstander om slikt i USA på maskiner fra Diebold
376 og Siebel allerede. Det finnes i dag flere tilgjengelige fri
377 programvaresystemer for elektronisk stemmegiving og opptelling. Fri
378 programvare sikrer brukeren kontroll over datasystemene. Slike
379 systemer er tilgjengelig fra OpenSourceVoting og ACTs elektroniske
380 valgsystem som ble brukt i det australske parlamentvalget
2001 og
381 2004. For å sikre at det er mulig å gjennomføre omtellinger må hver
382 enkelt stemme lagres på ikke-elektronisk format (f.eks. papir), og et
383 slikt papirspor må sikres slik at de ikke kan endres i ettertid.
385 <p
><strong
>Vellykkede elektroniske valgsystemer
</strong
></p
>
387 <p
>I Venezuela fungerte avstemmingsmaskinene slik at de som stemte
388 markerte det de stemte på en skjerm, og valgene ble skrevet på en
389 papirrull som den som stemmer så de kunne sjekke for å kontrollere at
390 de valgene som ble gjort kom med på papirrullen. Deretter ble
391 voteringstallene sendt elektronisk fra hver maskin til tre uavhengige
392 opptellingsgrupper (hvorav en av dem var Carter-senteret), som talte
393 opp stemmene. Alle måtte være enige for å godkjenne resultatet. Hvis
394 det var avvik så kunne en gå helt ned på papirrull-nivå for å sjekke
395 resultatet. Det har dog blitt hevdet at oppbevaringen av papirrullene
396 ble overlatt til regimet, slik at kontrollmuligheten ble fjernet. Det
397 er likevel mulig å organisere seg slik at det blir vanskelig å
398 forfalske valgresultatet ved å bytte ut eller endre rullene.
</p
>
400 <p
>India har et elektronisk voteringssystem som ble tatt i bruk i
401 1989. Det består av to ulike enheter, en opptellingsenhet og en
402 avstemmingsenhet. Systemet sikrer hemmelig valg, er vanskelig å
403 påvirke, men mangler oppbevaring av hver enkelt stemme på et
404 ikke-elektronisk format, noe som gjør omtelling umulig.
</p
>
406 <p
><strong
>Mindre vellykkede elektroniske valgsystemer
</strong
></p
>
408 <p
>I USA finnes en rekke ulike leverandører av elektroniske
409 valgsystemer, og det er dokumentert svakheter med flere av
410 dem. F.eks. har forskerne Ariel J. Feldman, J. Alex Halderman, og
411 Edward W. Felten ved Universitetet i Princeton dokumentert hvordan
412 systemet fra Diebold kan manipuleres til gi uriktig
413 avstemmingsresultat. Det er også indikasjoner på at noen av systemene
414 kan påvirkes av leverandøren via telelinjer. Robert F. Kennedy Jr. har
415 nylig i en artikkel fortalt om flere avvik fra valget i
2004. Norge
416 bør unngå systemer som kan manipuleres slik det rapporteres om fra
419 <p
>Universitetet i Oslo skal denne høsten gjennomføre elektronisk valg
420 på Dekan ved Det teologiske fakultet. Universitetsstyret har godkjent
421 et valgsystem der de som arrangerer valget har mulighet til å se hvem
422 som har stemt hva, samt hver deltager i valget kan endre sin stemme i
423 ettertid (ikke-hemmelig), de som administrerer datasystemet kan
424 påvirke valgresultatet ved å endre, trekke fra eller legge til stemmer
425 (ikke-nøyaktig), og det ikke nødvendigvis er mulig å oppdage at slik
426 påvirkning har funnet sted (ikke etterprøvbart). Webbaserte
427 valgsystemer uten spesiell klientprogramvare vil ha flere av disse
428 problemene.
</p
>
430 <p
><strong
>Konkrete kommentarer til rapporten
</strong
></p
>
432 <p
>Rapporten nevner ikke muligheten for å påvirke valgresultatet via
433 trojansk type kode. Siebel blir beskyldt for dette i USA. Vi advarer
434 mot bruk av lukket kildekode, fordi dette i prinsippet innebærer å
435 stole blindt på leverandøren. Det bør ikke vere begrenset hvem som kan
436 kontrollere at systemet gjør det det skal, og dette tilsier bruk av
437 fri programvare.
</p
>
439 <p
>Rapporten anbefaler lukket kode fordi kjeltringer kan finne ut
440 sikkerhetsmekanismene ved å lese kode. Det er ikke en god idé å basere
441 seg på at sikkerhetsmekanismene er beskyttet pga. at ingen kjenner til
442 hvordan de fungerer. Som eksempelet fra USA viser, kan man godt
443 mistenke leverandøren for å jukse med systemet. Selve det at en slik
444 mistanke eksisterer, og ikke kan fjernes/reduseres ved uavhengig
445 inspeksjon, er et problem for demokratiet. Et sikkert system må være
446 sikkert selv om noen med uærlige hensikter kjenner til hvordan det
447 fungerer. Australia har allerede gjennomført vellykkede valg basert på
448 et fri programvaresystem.
</p
>
450 <p
>Driften av totalsystemet blir ofret liten oppmerksomhet i
451 rapporten. I et driftopplegg ligger mange sikkerhetsutfordringer som
452 bør vurderes nøye.
</p
>
454 <p
>Definisjonen av brannmur i rapporten er feil, for eksempel sies at
455 "brannmuren er selv immun mot inntrengning
". Dette er ikke riktig. Det
456 er fullt mulig å ha brannmurer med sikkerhetsproblemer som utnyttes
457 til å trenge inn i dem. I tillegg antar man at all trafikk går gjennom
458 brannmuren. I store applikasjoner, som et valgsystem vil være, kreves
459 et system av brannmurer og andre tiltak som vi kaller
460 sikkerhetsarkitektur. Rapporten burde komme inn på behovet for en
461 sikkerhetsarkitektur.. Selv med en gjennomarbeidet
462 sikkerhetsarkitektur kan det være at man overser muligheter for å
463 unngå brannmurene. Rapporten snakker om brannmur i entall, mens det
464 nok er nødvendig å sikre et valgsystem med flere lag av
465 sikringstiltak, og dermed vil være behov for flere brannmurer. En
466 brannmur kan være bygd basert på visse antagelser og standarder. En
467 annen brannmur kan bygge på et annet sett antagelser, og stoppe
468 trafikk som den første ikke tar høyde for.
470 <p
>Rapporten indikerer dårlige kunnskaper om brannmur, og dette igjen
471 antyder dårlige kunnskaper om datasikkerhet generelt, og dette bør
472 forbedres. For eksempel er driften ansvarlig for operativ
473 sikkerhetsarkitektur, og vi har hatt adskillige diskusjoner i NUUG om
474 hvor vanskelig dette er. Hva hjelper en brannmur hvis den er feil
475 konfigurert eller ikke oppdatert?
</p
>
477 <p
>Muligheten for sikkerhetsovervåkning kan vi ikke se er nevnt i
478 rapporten. Dette er vanskelig og dyrt, men bør vurderes for å kunne
479 oppdage systemavvik under valget. Sikkerhetsovervåkning kan inngå som
480 ledd i sikkerhetsarkitekturen.
</p
>
482 <p
>Det har blitt rapportert i pressen at USA ikke bør kjøpe
483 Lenovo-maskiner etter at selskapet som lager dem ble solgt fra IBM til
484 et kinesisk selskap. I Norge kan vi ikke trekke tingene like langt da
485 vi mangler nødvendig dataindustri, men vi bør satse på at
486 applikasjoner viktige for rikets sikkerhet i størst mulig utstrekning
487 kjører programvare der vi har innsyn i hvordan den er satt sammen. Det
488 er viktig at vi sikrer at programvare viktige for rikets sikkerhet kan
489 sjekkes/verifiseres av eksperter vi selv velger. Når det gjelder
490 valgsystemer må «vi» være velgerne, ikke bare myndighetsapparatet. I
491 tilfelle en ikke kan bruke fri programvare, bør en ivareta en sunn
492 kritisk sans med hensyn til hvorfra og av hvem vi kjøper. På grunn av
493 tendenser i USA til å i uheldig stor grad fokusere på
494 kontrollmekanismer som eksempelvis Echelon og Palladium kan det hevdes
495 at det hefter betenkeligheter ved innkjøp herfra.
</p
>
497 <p
><strong
>Referanser
</strong
></p
>
501 <li
>Cranor, L.F. og Cytron, R.K.,
"Design and Implementation of a
502 Security-Conscious Electronic Polling System
" Washington University
503 Computer Science Technical Report WUCS-
96-
02. February
1996
504 http://www.cs.wustl.edu/cs/techreports/
1996/wucs-
96-
02.ps.Z
</li
>
506 <li
>Det australske valgsystemet, inkludert kildekoden tilgjengelig som
507 fri programvare http://www.elections.act.gov.au/Elecvote.html
</li
>
509 <li
>Smartmatics SAES voting system used in venesuela
2004
510 http://www.smartmatic.com/solutions_03-
1.htm
</li
>
512 <li
>Blackboxvoting, interessegruppe i USA med fokus på valgfusk
513 vha. elektroniske valgsystemer http://www.blackboxvoting.org/
</li
>
515 <li
>VerifiedVoting, interessegruppe i USA med fokus på at også
516 elektroniske valgsystemer må være
517 etterprøvbare. http://www.verifiedvoting.org/
</li
>
519 <li
>Blue Screen Democracy - fri programvareprosjekt som har utviklet
520 elektronisk stemmegivingssystem
521 http://bluescreen.sourceforge.net/
</li
>
523 <li
>Indias elektroniske avstemmingssystem (Wikipedia)
524 http://en.wikipedia.org/wiki/Indian_voting_machines
</li
>
526 <li
>Security Analysis of the Diebold AccuVote-TS Voting Machine av
527 Ariel J. Feldman, J. Alex Halderman, og Edward
528 W. Felten. http://itpolicy.princeton.edu/voting/
529 http://coblitz.codeen.org:
3125/itpolicy.princeton.edu/voting/videos/ts-voting.wmv
</li
>
531 <li
>Was the
2004 Election Stolen? av Robert F. Kennedy
532 Jr. http://www.rollingstone.com/news/story/
10432334/was_the_2004_election_stolen
</li
>
534 <li
>Styreframlegg om elektronisk votering ved
535 UiO. http://www.admin.uio.no/kollegiet/moter/kart_prot2006/
5/protokoll.xml
536 http://www.admin.uio.no/kollegiet/moter/kart_prot2006/
5/vsak-
14.pdf
537 http://www.admin.uio.no/kollegiet/moter/kart_prot2006/
5/vsak-
14-vedlegg.pdf
</li
>
539 <li
>Elektroniske valg - muligheter, problemer og noen løsninger
540 Semesteroppgave i STV620 - Demokratiske valg
541 http://www.afin.uio.no/forskning/notater/
4_01.html
</li
>
543 <li
>NUUG - Norwegian Unix User Group http://www.nuug.no/
</li
>
545 <li
>EFN - Elektronisk forpost Norge http://www.efn.no/
</li
>
550 <p
>Som alltid med valg er det ikke viktigst hva folk stemmer på, men
551 hvem som teller opp stemmene... Hvis du er interessert i temaet
552 e-valg, så har NUUG siden
2006 oppdatert
553 <a href=
"http://wiki.nuug.no/uttalelser/
2006-elektronisk-stemmegiving
">NUUGs
554 wikiside om høringen
</a
> med aktuelle og interessante referanser og
555 artikler. Ta en titt der hvis du vil lese mer. :)
</p
>
560 <title>Git repository for song book for Computer Scientists
</title>
561 <link>http://people.skolelinux.org/pere/blog/Git_repository_for_song_book_for_Computer_Scientists.html
</link>
562 <guid isPermaLink=
"true">http://people.skolelinux.org/pere/blog/Git_repository_for_song_book_for_Computer_Scientists.html
</guid>
563 <pubDate>Fri,
7 Sep
2012 13:
50:
00 +
0200</pubDate>
564 <description><p
>As I
565 <a href=
"http://people.skolelinux.org/pere/blog/Song_book_for_Computer_Scientists.html
">mentioned
566 this summer
</a
>, I have created a Computer Science song book a few
567 years ago, and today I finally found time to create a public
568 <a href=
"https://gitorious.org/pere-cs-songbook/pere-cs-songbook
">Gitorious
569 repository for the project
</a
>.
</p
>
571 <p
>If you want to help out, please clone the source and submit patches
572 to the HTML version. To generate the PDF and PostScript version,
573 please use prince XML, or let me know about a useful free software
574 processor capable of creating a good looking PDF from the HTML.
</p
>
576 <p
>Want to sing? You can still find the song book in HTML, PDF and
577 PostScript formats at
578 <a href=
"http://www.hungry.com/~pere/cs-songbook/
">Petter
's Computer
579 Science Songbook
</a
>.
</p
>