ifip-tc6

ifip-tc6@lists.rwth-aachen.de

2885 Diskussionen

Event fees 2004

von Otto Spaniol

Dear all, please check (see below). Best regards Otto ************************************************************* To all TC Chairs During the Council meeting of IFIP which took place last week in Korea, it was reported that several TCs still have event fees from 2004 events outstanding. Can I please request you to check with all your WG organizers whether they are aware of any such outstanding fees. There is a full list available from Eduard if you want to request it. I did not want to include it in this message. I will come back to you from time to time on some other issues resulting from the meeting. Regards Basie -- Prof Basie von Solms PhD MBCS FCSSA Vice-President : IFIP (International Federation for Information Processing) HOD : Academy for Information Technology University of Johannesburg Johannesburg South Africa Tel : + 27 (0) 11 489 2843 (Office) + 27 (0) 82 553 2436 Fax : + 27 (0) 11 489 2138 Email : basie(a)rau.ac.za Home Page : http://adam.rau.ac.za/~basie

19 Jahre, 4 Monate

Event Request Forms

von Otto Spaniol

To all delegates, in particular to WG chairpersons, very often the organisors don't fill the event request form (ERF). A new form - based on the TC6 proposal - is available from the IFIP secretary. If there is no ERF then the event is not in the IFIP database and no financial things (such as best paper wards, turorial speakers cost etc.) can be handled. The ERF has to be signed by the organisors, the responsible WG chair(s) and by me. Please ensure by all means that ERF are not forgotten! We have just have a problem with that coincerning INTELLCOMM´04 where the student grants have not yet been paid due to the missing ERF. I'm not willing to control in any case whether the form is here or not; this is the task of organisor + WG chair(s). Best wishes Otto

19 Jahre, 4 Monate

WIRELESSCOM'05 -- DEADLINE EXTENSION: MARCH 31

von Safwat, Ahmed M.

Due to numerous requests, the WIRELESSCOM 2005 paper submission deadline has been extended until MARCH 31, 2005 (11:59 p.m. PST). Since we anticipate a very large number of submissions, it is highly recommended that you submit/register your paper ASAP to avoid potential server problems on the due date. Please submit your papers at: https://msrcmt.research.microsoft.com/WirelessCom2005/CallForPapers.aspx WIRELESSCOM 2005 is the World's Premier International Conference on Wireless Networks, Communications, and Mobile Computing. WIRELESSCOM 2005 covers timely as well as emerging topics pertaining to wireless networks, communications, and mobile computing. Join this cutting-edge event and contribute to shaping the future of wireless networks, communications, and mobile computing! WIRELESSCOM 2005 will be held in the spectacular Sheraton Maui Resort, Maui, Hawaii, June 13-16, 2005. Maui has been voted 11 times in a row as the "Best Island in the World". The spectacular Sheraton Maui Resort with its 23 oceanfront acres is a favorite tourist, family, and honeymoon attraction. Very special nightly rates are available for WIRELESSCOM 2005. Please check out the Sheraton Maui Resort's live Web cam at http://hawaiilive.sheraton-hawaii.com/sm-cam.cfm Further details about WIRELESSCOM 2005 are found at: http://www.ece.queensu.ca/hpages/faculty/safwat/wirelesscom/05/ or http://sa1.sice.umkc.edu/wc05/. We look forward to meeting you in Maui. Best regards, WIRELESSCOM 2005 Organizing Committee

19 Jahre, 4 Monate

ARSPA'05: Workshop on Automated Reasoning for Security Protocol Analysis (NEW: ENTCS publication of proceedings)

von lvigano＠inf.ethz.ch

******************************** *** NEW: PROCEEDINGS TO BE *** *** PUBLISHED IN ENTCS *** ******************************** ARSPA'05 The Second Workshop on Automated Reasoning for Security Protocol Analysis co-located with ICALP'05 Lisboa, Portugal July 16, 2005 http://www.avispa-project.org/arspa *********************** *** CALL FOR PAPERS *** *********************** Submission deadline: April 15, 2005 BACKGROUND, AIM AND SCOPE ========================= Experience over the last twenty years has shown that, even assuming perfect cryptography, the design of security protocols (or cryptographic protocols, as they are sometimes called) is highly error-prone and that conventional validation techniques based on informal arguments and/or testing are not up to the task. It is now widely recognized that only formal analysis can provide the level of assurance required by both the developers and the users of the protocols. Work in this direction initially started in the security community but recently there has been a tremendous progress thanks to contributions from different automated reasoning communities, such as model checking, resolution, planning, rewriting/narrowing, and higher-order theorem proving. There has been another wave of progress due to research in applying non-classical logics, such as epistemic and belief logics, to analyze protocols and their properties. Moreover, a third stream includes static methods, among which those based on abstract interpretation, data and control flow analysis, and type systems proved to be particularly successful. Finally, bisimulations and related techniques have also been applied successfully. Based on this progress, a large number of formal methods and tools have been developed that have been quite successful in determining strengths and weaknesses of many protocols, i.e. in proving the correctness of the protocols or in identifying attacks on them. The ARSPA workshop aims to bring together researchers and practitioners from both the security and the formal methods communities, from academia and industry, who are working on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols. Contributions are welcomed on the following topics or related ones: - Automated analysis and verification of security protocols. - Languages, logics and calculi for the design and specification of security protocols. - Verification methods: accuracy, efficiency. - Decidability and complexity of cryptographic verification problems. - Synthesis and composition of security protocols. - Integration of formal security specification, refinement and validation techniques in development methods and tools. The workshop will provide a forum for all researchers and practitioners who are interested in this area to share their ideas and report their results. We thus solicit submissions of papers both on mature work and on work in progress. All submissions will be peer-reviewed. Authors of accepted papers must guarantee that their paper will be presented at the workshop. AUDIENCE ======== The workshop will be held on Saturday, July 16, 2005, and will be open to all interested persons. INVITED TALKS ============= The technical program will include presentations of the accepted papers, and one or two invited talks. PROGRAM COMMITTEE ================= - Alessandro Armando (Universita` di Genova, Italy) - David Basin (ETH Zurich, Switzerland) - Jorge Cuellar (SIEMENS AG, Munich, Germany) - Pierpaolo Degano (Universita` di Pisa, Italy; co-chair) - Joshua Guttman (The MITRE Corporation, USA) - Roberto Gorrieri (Universita` di Bologna, Italy) - Sjouke Mauw (University of Eindhoven, The Netherlands) - Hanne Riis Nielson (Technical University of Denmark) - Michael Rusinowitch (INRIA-LORRAINE, Nancy, France) - Luca Vigano` (ETH Zurich, Switzerland; co-chair) SUBMISSION ========== Submissions should be at most 15 pages (a4paper, 11pt) and the cover page should include title, names of authors, and the co-ordinates of the corresponding author. Authors are invited to submit their papers electronically, as portable document format (pdf) or postscript (ps), by the deadline of April 15, 2005. The only mechanism for paper submissions is via the electronic submission web-site, accessible via the workshop web-site. Notification of acceptance or rejection will be sent to the authors no later than May 14, 2005. Final versions of accepted papers must be received by June 06, 2005. PUBLICATION =========== Accepted contributions will be be published in a special volume of the Electonic Notes in Theoretical Computer Science ENTCS. Informal proceedings will be available at the workshop and be published on-line on the workshop's web page at http://www.avispa-project.org/arspa We are also planning a formal post-workshop publication as a special Journal issue, with an additional reviewing process. IMPORTANT DATES =============== - Submission deadline: April 15, 2005 - Notification of acceptance: May 15, 2005 - Final versions due: June 06, 2005 - Workshop: July 16, 2005 WORKSHOP WEB-SITE ================= http://www.avispa-project.org/arspa The workshop is supported by the IST Project AVISPA (http://www.avispa-project.org) For further information on the workshop, please send an email to arspa -at- avispa-project.org

19 Jahre, 4 Monate

RE: [ifip-tc6] Quick voting desired

von Radford, Peter

I'll go green! -----Original Message----- From: ifip-tc6-bounces(a)lists.RWTH-Aachen.DE [mailto:ifip-tc6-bounces@lists.RWTH-Aachen.DE] On Behalf Of Otto Spaniol Sent: 15 March 2005 15:10 To: ifip-tc6(a)informatik.rwth-aachen.de Subject: [ifip-tc6] Quick voting desired Dear all, IFIP has a new logo. TC6 should have also a new one based on the official IFIP logo. I asked a designer student to present some proposals. She came with three ideas (see attachment). Please tell me your preference (until the end of this week). I would like to produce pins - like we did for Portugal - such that they would be ready for Networking 2005. Best regards Otto ------------------------------------- Name: I vote for: O the upper one (with the small white intersection between IFIP and TC6) X the middle one (green colour) O the lower one (blue colour) O I don't like any proposal; please present other ideas This e-mail and any attachment is for authorised use by the intended recipient(s) only. It may contain proprietary material, confidential information and/or be subject to legal privilege. It should not be copied, disclosed to, retained or used by, any other party. If you are not an intended recipient then please promptly delete this e-mail and any attachment and all copies and inform the sender. Thank you.

19 Jahre, 4 Monate

RE: [ifip-tc6] Quick voting desired

von Sarolta Dibuz (AS/EAB)

Dear all, Name:Sarolta Dibuz I vote for: O the lower one (blue colour) Regards Sarolta

19 Jahre, 4 Monate

NGI 2005 in Roma

von Otto Spaniol

19 Jahre, 4 Monate

Minutes for meeting 2004/2

von Otto Spaniol

Heureka, the minutes for meeting 2004/2 in Bangkok have arrived. Three days ago but I could only open them today in a phase of extreme workload. Thanks very much to Raghavan! Best wishes Otto

19 Jahre, 4 Monate

FW: Invitation to IFIP TC6 meeting 05-01

von Lorne Mason

Dear colleagues, Attached is the letter of invitation to the TC-6 meeting on May 7-8 at the University of Toronto. Ground Transportation from Pearson Airport to Toronto is available with the Airport Express Bus. The following web sites give information regarding hotels near the University of Toronto where the TCV-6 meeting will be held. Maps can also be accessed from these web sites. <http://www4.deltahotels.com/hotels/hotels.php?hotelId=10> Delta Chelsea Hotel Quality Hotel by Journeys End <http://www.choicehotels.ca/cn312> The Avenue Park Hotel <http://www.avenueparkhotel.com/> Best regards, Lorne Mason _____ From: Lorne Mason [mailto:Mason@ECE.McGill.CA] Sent: March 1, 2005 2:12 PM To: 'ifip-tc6(a)informatik.rwth-aachen.de' Subject: Invitation to IFIP TC6 meeting 05-01 Dear colleagues, Please find your invitation to the upcoming IFIP TC6 meeting 05-01 in the attachment. Best regards, Lorne Mason

19 Jahre, 4 Monate

CFP: ACM MULTIMEDIA 2005

von Pedro Angel Cuenca Castillo

-- ================================================================================== Pedro Angel Cuenca Castillo Tfno.: 967-599200 Ext:2492 Departamento de Informatica Tfno.: 967-599308 Escuela Politecnica Superior Fax: 967-599224 Universidad de Castilla-La Mancha e-mail: pedro.cuenca(a)uclm.es Campus Universitario s/n. Albacete. 02071. SPAIN. ==================================================================================

19 Jahre, 4 Monate

Springe zur Seite:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

ifip-tc6