[08/01/2012]

IRTF Proposed RG meeting IETF 84

Lars explains the ground rules.

Dave's introduction.

Bob Brisco's presentation

            No questions.

Nick's  presentation

Question: sue hares. Did you write the procera language?  Nick:
there is a detailed description of the language with examples.
Sue: I tried to do some things with the problems with use cases
with FML and ran into some walls.  Nick: …in theory you should
get all the proof machinery in haskal.

:   question….  One particular case. The feedback we arr getting
back is that we can use this for parental controls.  Certainly
many people have said they do not have this problem.

Cisco guy: what you are trying to say is that there are security
as a service devices.  There are already devices that do
this. Why do you need SDN to solve this?

Nick: things get hairy when you try to compose policies.  In a
general purpose, high level programming language makes this
easier. Rules are checkable for completeness.


Ed Crabbe's presentation.

More presos


Charter Discussion:

Lars: maybe you want to think about how SDN is coming up outside
of the IETF. People can sit down after this meeting.  IRTF has
little process. If you want to have an interim meeting, go for
it.

Jeff: This is quite detailed. Lets really find out how can we use
SDN for things that are atypical for what the IETF wants to use
it for today.