Security Area Advisory Group (SAAG
IETF 115 - London, Room: Mezzanine 1-4
09:30 - 11:30, Friday, Session 1 (2 hours)

1. Welcome, Administrivia, and Agenda Bashing (5 mins)

2. WG and AD Reports (15 mins, chairs/ADs)

3. Implementation report from EDUROAM's adoption of EAP/RADIUS (Margaret Cullen)

4. Role of formal verification in the standards process (ADs)
Purpose: Seeking community feedback on guidance around formal verification on protocols
  ** For what (classes of documents or type of work)?
  ** as a MAY? SHOULD? MUST? Do these change per type of work? 
  ** When (in the lifecycle of the document)?
  ** Who can help us?

5. HTTP Message Signatures (draft-ietf-httpbis-message-signatures) (Justin Richer)
Purpose: raise awareness and solicit reviews of a new security mechanism in WGLC

6. Open Mic (remaining time)