ifip-tc6 Juni 2005

ifip-tc6@lists.rwth-aachen.de

30 Teilnehmer
40 Diskussionen

von AVISPA

=================================================================== 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 PARTICIPATION *** ****************************** 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. INVITED SPEAKERS ================ - Michael Backes, IBM Zurich Justifying Formal Methods and Cryptography under Active Attacks, and Limitations Thereof - John C. Mitchell, Stanford University Protocol Analysis: Wireless Networking and Mobility ACCEPTED PAPERS =============== - Deconstructing Alice and Bob Carlos Caleiro, Luca Vigano`, and David Basin - A Syntactic Criterion for Injectivity of Authentication Protocols Cas Cremers, Sjouke Mauw, and Erik de Vink - An Automata Based Approach for Verifying Information Flow Properties Deepak D'Souza, K.R. Raghavendra, and Barbara Sprick - Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language Alexey Gotsman, Fabio Massacci, and Marco Pistore - Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic Kenji Imamoto and Kouichi Sakurai - Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting Monica Nesi and Giuseppina Rucci - Static Validation of a Voting Protocol Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, and Hanne Riis Nielson The workshop is supported by the IST Project AVISPA (http://www.avispa-project.org) We hope to you see you all in Lisbon! Pierpaolo Degano and Luca Vigano` (ARSPA'05 co-chairs)

18 Jahre, 10 Monate

RE: IFIP and IEEE

von Raouf Boutaba

I have presented the two solutions proposed by TC6 to IEEE ComSoc. They prefer the first solution. Please let me know what are the next steps. -Raouf -----Original Message----- From: Guy Pujolle [mailto:Guy.Pujolle@lip6.fr] Sent: Sunday, November 21, 2004 10:25 PM To: Raouf Boutaba Cc: Otto Spaniol; brunnstein(a)informatik.uni-hamburg.de Subject: IFIP and IEEE Raouf, TC6 proposes the two following solutions: 1. IFIP keeps the copyright and selects LNCS as a publisher LNCS publishes in paper and in its digital library. There will be a three party agreement among IFIP, IEEE ComSoc and Springer to allow the publication also in IEEE Explorer 2. IFIP keeps the copyright IEEE will be the publisher IEEE will publish as a paper version and is published in the IEEE Explorer too IEEE pays for the royalties to IFIP as written in the new proposal by IEEE. TC6 prefers option 2 because it is simpler, but we find a good idea to have two proposals to negotiate with IEEE. Otto Spaniol and Klaus Brunnstein will support you if required Best regards, Guy _______________________________________________ Guy.Pujolle(a)lip6.fr - LIP6-CNRS - Université Paris 6 Assistante: Laetitia.Jacquey(a)lip6.fr, Tel: +33 1 44 27 87 74 - Fax: +33 1 44 27 87 83

18 Jahre, 10 Monate

RE: IFIP and IEEE

von Raouf Boutaba

18 Jahre, 10 Monate

RE: [ifip-tc6] LANOMS 2005 IFIP co-sponsorship

von Raouf Boutaba

Thank you Harry. I will sign the paper work for this event as a WG6.6 sponsored event and forward it to Otto. Regards Raouf -----Original Message----- From: Harry Rudin [mailto:hrudin@smile.ch] Sent: Sunday, June 19, 2005 10:24 AM To: Raouf Boutaba Cc: ifip-tc6(a)informatik.rwth-aachen.de Subject: Re: [ifip-tc6] LANOMS 2005 IFIP co-sponsorship My feeling is that if it is a conference with good quality papers to be expected --- and here I would take Raouf's opinion --- we should allow cosponsorship even if there is no exchange of funds. Best regards to you all, Harry Raouf Boutaba wrote: >LANOMS (Latin America NOMS) has been always sponsored technically by >IEEE ComSoc. For this year, they are requesting the technical >sponsorship of IFIP (WG6.6). See attached event request form. Note that >the conference tales place always in Brazil and they are not willing to >pay event proceeds. Let me know if this is agrreable to TC6. >Raouf >

18 Jahre, 10 Monate

CFP: Deadline approaching - COMSWARE 2006

von Thyaga Nandagopal

Submission Deadline: June 24, 2005 (extended) (Our apologies if you receive multiple copies of this document) CALL FOR PAPERS *************** The First International Conference on Communication Systems Software and Middleware http://www.comsware.org ----------------------- January 8 - 12, 2006 Taj Palace Hotel, New Delhi, India Technical Co-Sponsor : IEEE Communications Society In Co-operation with : ACM SIGMOBILE Sponsored by: CreateNet (Italy), ICST (USA) Co-Sponsors: IBM, Microsoft Research, NOKIA, Lucent Technologies, Sasken University Co-Sponsor: Indian Institute of Technology, Delhi Paper Submission: June 24, 2005 (extended) (Instructions at http://www.comsware.org) (Proceedings to be published by IEEE and to appear in IEEE Explore) The convergence of the communications, information technologies and the Internet has ushered in a revolution in the way people communicate with each other. The key enabler for this convergence has been the advancement of software technology in various communication sectors, as evident by the high levels of activity in the industry, academia, and standards bodies, coupled with the increasing dependence of this convergence to sustain and improve growth rates in many countries around the world. This new international conference will provide a forum to exchange ideas, techniques, and applications, discuss best practices and challenging issues, raise awareness and share experiences among researchers, practitioners, standard developers and policy makers in the field of software techniques in communications. The conference will bring leading researchers and practitioners in areas ranging from communications software and software engineering aspects of communications software, to middleware and networking protocols. The objective of the conference is to provide a high degree of collaboration, participation and discussions of the various topics among multi-national participants from the industrial, governmental and academic sectors. COMSWARE will include a regular paper track and an industry track. The paper track will include a highly selective technical program. The conference solicits original, previously unpublished research work, experimental efforts, and practical experiences for the technical program. COMSWARE will also feature panel discussions from experts in academia and industry, workshops and tutorials featuring the state-of -the-art in various communications software and related areas. There will be demos and exhibits that will expose the delegates to exciting products and software solutions from industry and academia. Accepted papers will be published by IEEE Computer Society. The top papers accepted to the conference will be published in a reputed journal. Areas of interest include, but are not limited to: · Communications Software · Reconfigurable Software Stacks · Software Engineering Aspects of Communications Software · Context-Based and Implicit Computing · Telecommunications Services and QoS · Software for Billing and Pricing · User Interfaces and Interaction Models · Multi-Agent Systems · Client-Server Applications · Mobile and Intermittently Connected Applications · Mobile Data Management · Middleware Services and Agent Technologies · Middleware for Wireless Sensor Networks · Middleware for P2P Systems · Middleware for Future Communication Networks · Information Infrastructure and Security · Security and Privacy Issues of Pervasive Computing Systems · Network Operations and Management · Policy and Workflow-based Network Operations · Reliability Support Software · Resource Management in Pervasive Computing Platforms · Management Software for Optical Networks · Network Monitoring Software · Internet and IP based Services · Dynamic Service Composition and Deployment · Service Discovery Mechanisms · Wireless/Mobile Service Management and Delivery · Mobile / Wireless Computing Systems and Services · Performance Evaluation Techniques · Location Determination · Positioning and Tracking Technologies · Smart Devices and Smart Spaces · Enterprise Networking · Personal Area Networks · Integration of Wired and Wireless Networks · Next Generation Networks and Services Deadlines ********* Paper Submission: June 24, 2005 (Instructions at http://www.comsware.org) Notification of Acceptance: August 15, 2005 Camera-ready due: September 26, 2005 Conference Organizing Committee ******************************* General Chairs: Victor Bahl, Microsoft Research, USA Bijendra Nath Jain, IIT, Delhi, India Henning Schulzrinne, Columbia University, USA Alfred Spector, IBM Research, USA Steering Committee: Imrich Chlamtac, University of Trento, Italy (Chair) Rajeev Shorey, IBM Research, India (Co-Chair) Prasant Mohapatra, University of California, Davis, USA (Co-Chair) Program Chairs: Sanjoy Paul, Whenu, USA G. Venkatesh, SASKEN Technologies, India Jim Woodcock, University of York, UK Tutorial Chair: Archan Misra, IBM Research, USA Workshop Chairs: Ashwin Gumaste, Fujitsu Research, USA Gaurav Sharma, University of Rochester, USA Demos/Exhibit Chair: Huzur Saran, IIT, Delhi, India Demos/Exhibit Co-Chair: Jaijit Bhattacharya, Oracle, India Publicity Chair: Thyaga Nandagopal, Lucent Technologies, USA Publicity Co-Chairs: Sunghyun Choi, Seoul National University, Korea Marco Conti, IIT, Pisa, Italy Ben Lancini, LinLan, Brisbane, Australia Prashant Pradhan, IBM Research, USA Hemant Chaskar, Airtight Networks, India Local Arrangement Chair: Sudipta Maitra, IBM, Delhi

18 Jahre, 10 Monate

MobiCom 2005 Call for Participation

von Wendi Heinzelman

******************************************************************* Call for Participation ACM MobiCom 2005 11th International Conference on Mobile Computing and Networking August 28 - September 2, 2005 Cologne, Germany http://www.sigmobile.org/mobicom/2005/ ******************************************************************* ACM MobiCom is a highly-selective international conference on mobile computing and networking. It serves as the premier forum for presenting and discussing research results on networks, systems, algorithms, and applications supporting the symbiosis of mobile computing and wireless networking. Each year, the conference attracts about 500 researchers, practitioners, students, and executives. MobiCom 2005 will be held in beautiful Cologne, Germany. Technical Program. The program consists of a single track with 26 papers. The authors present cutting-edge results on various topics, such as new architectures, content-based and geometric routing, self-management, cross-layer optimization. The papers cover ad hoc networks, mesh networks, wireless sensor networks, WLANs, and cellular networks. A list of accepted papers can be found at http://www.sigmobile.org/mobicom/2005/program.html. Panels and Demonstrations. The program also includes a number of panel discussions on hot topics and technical demonstrations of experimental systems. Tutorials. Four tutorials will be offered: (a) Wireless sensor and actuator networks, (b) 802.11 WLAN MAC and smart antennas: issues and directions, (c) Security in sensor and ad hoc networks: perspectives and status, (d) Wide area wireless networks: 3G and beyond. Student Poster Session. For the first time, MobiCom hosts the ACM Student Research Competition. Students submitting to the poster session can receive up to $500 for their travel, depending on need and eligibility. Workshops. One day is dedicated to workshops on specific technical areas in mobile and wireless networking. The following workshops take place: - Foundations of Mobile Computing (DIAL M-POMC) - Dynamic Interconnection of Networks (DIN) - Vehicular Ad Hoc Networks (VANET) - Wireless Security (WiSe) - Wireless Mobile Applications and Services on WLAN Hotspots (WMASH) Registration is available at http://www.regmaster.com/mobicom2005.html. There is a discounted rate until August 5, 2005. ---------------------------------------------------------- Wendi B. Heinzelman Assistant Professor of Electrical and Computer Engineering University of Rochester P.O. Box 270126, Hopeman Building, Room 307 Rochester, NY 14627-0126 Phone: 585-275-4053 Fax: 585-273-4919 http://www.ece.rochester.edu/~wheinzel ----------------------------------------------------------

18 Jahre, 10 Monate

Somewhat confusing Japanese signs

von Otto Spaniol

Dear all, [the following is fully non-technical and not serious]. Attached are some official (?) signs used in Japan which symbolise whether to give up your seat in a metro train and to whom you should give it up. Best regards Otto

18 Jahre, 10 Monate

Reminder: International Workshop on Quality of Protection - QoP 2005 deadline approaching

von qop-submission

===================================================================== Call for Paper for the 1st International Workshop on QUALITY of PROTECTION - QoP 2005 Security Measurements and Metrics http://dit.unitn.it/~qop/ Milano, Italy, Thu. 15 September 2005. Affiliated with 10th European Symposium on Research in Computer Security (ESORICS 2005) in Milano (12-14 Sep). http://esorics05.dti.unimi.it and the 11th IEEE International Software Metrics Symposium (METRICS 2005) in Como (19-22 Sep) http://www.swmetrics.org/metrics2005 ======================================================================= WORKSHOP OVERVIEW Information Security in Industry has matured in the last few decades. Standards such as ISO17799, the Common Criteria, a number of industrial certification and risk analysis methodologies have raised the bar on what is considered a good security solution from a business perspective. Yet, if we compare Information Security with Networking or Empirical Software Engineering we find a major difference. Networking research has introduced concepts such as Quality of Service and Service Level Agreements. Conferences and Journals are frequently devoted to performance evaluation, QoS and SLAs. Empirical Software Engineering has made similar advances. Notions such as software metrics and measurements are well established. Processes to measure the quality and reliability of software exist and are appreciated in industry. Security looks different. Even a fairly sophisticated standard such as ISO17799 has an intrinsically qualitative nature. Notions such as Security Metrics, Quality of Protection (QoP) or Protection Level Agreement (PLA) have surfaced in the literature but still have a qualitative flavour. The "QoP field" in WS-Security is just a data field to specify a cryptographic algorithm. Indeed, neither ISO17799 nor ISO15408 (the Common Criteria) addresses QoP sufficiently. ISO17799 is a management standard, not directly concerned with the actual quality of protection achieved; ISO15408 is instead a product assessment standard and yet does not answer the question of how a user of a product assessed by it can achieve a high QoP within his/her operational environment. Both standards cover just one aspect of an effective QoP and even the combination of both would not address the aspect sufficiently. "Best practice" standards, such as the baseline protection standard published by many government agencies, also belong to the category of standards that are useful, but not sufficient, for achieving a good QoP. Security is different also in another respect. A very large proportion of recorded security incidents has a non-IT cause. Hence, while the networking and software communities may concentrate on technical features (networks and software), security requires a much wider notion of "system", including users, work processes, organisational structures in addition to the IT infrastructure. The QoP Workshop intends to discuss how security research can progress towards a notion of Quality of Protection in Security comparable to the notion of Quality of Service in Networking, Software Reliability, or Software Measurements and Metrics in Empirical Software Engineering. SUBMISSION TOPICS: Original submissions are solicited from industry and academic experts to presents their work, plans and views related to Quality of Protection. The topics of interest include but are not limited to: * Industrial Experience * Security Risk Analysis * Security Quality Assurance * Measurement-based decision making and risk management * Empirical assessment of security architectures and solutions * Mining data from attacks and vulnerabilities repositories * Security metrics * Measurement theory and formal theories of security metrics * Security measurement and monitoring, * Experimental verification and validation of models, * Simulation and statistical analysis, stochastic modeling * Reliability analysis INVITED SPEAKERS - Stefano De Panfilis - Engineering SpA (IT) - TBA IMPORTANT DATES: - Fri 10 June (deadline is extended till Thu 23 June) - Paper submissions - Fri 8 July - Notification of acceptance - Mon 12 Sep - Wed 14 Sep ESORICS - Thu 15 Sep - QoP Workshop - Mon 19 Sep - Thu 22 Sep IEEE METRICS in Como PAPER SUBMISSION: Original RESEARCH PAPERS are solicited in any of the above mentioned topics. Research papers should be limited to 12 pages in the standard Springer Verlag format, describing significant research results based on sound theory or experimental assessment. We also solicit INDUSTRY EXPERIENCE REPORTS, limited to 6 pages, about the use of security measurements and metrics in industrial environments. Industry papers should have at least one author from industry or government, and will be considered for their industrial relevance. PUBLICATION: Authors of accepted papers will be expected to give full presentations at the workshop. Revised versions of the papers presented at the workshop will be published by Kluwer/Springer in the Applied Security Series. PROGRAMME COMMITTEE Alessandro Acquisti - Carnegie Mellon University (USA) Matt Bishop - University of California (USA) Imrich Chlamtac - UTDallas (US) & CreateNet (IT) Yves Deswarte - LAAS-CNRS (FR) Paolo Donzelli - University of Maryland (USA) Gerhard Eschelbeck - QUALYS (USA) Dieter Gollmann - TU Hamburg-Harburg (DE) Erland Jonsson - Chalmers University of Technology (SW) Audun Josang - University of Queensland, (AUS) Svein Johan Knapskog - The Norwegian University of Science and Technology (NOR) Helmut Kurth - ATSEC (DE) Bev Littlewood - City University, London (UK) Fabio Massacci - Univ. di Trento (IT) Roy Maxion - Carnegie Mellon University (USA) Flemming Nielson - Technical University of Denmark (DE) Mario Piattini - Polytechnical University of Madrid (SP) Ketil Stolen - SINTEF (NO) & Univ. of Oslo (NO) Lorenzo Strigini - City University, London (UK) Edgar Weippl - Vienna University of Technology (AUT) Jeannette Wing- CMU (USA) Marvin Zelkowitz - University of Maryland (USA)

18 Jahre, 10 Monate

CONEXT05-Student-Workshop

von CONEXT05 Call for papers

[Please apologize for multiple receipts] CALL FOR PAPERS *** STUDENT WORKSHOP *** at CONEXT'05 International conference on future networking technologies October 24-27, 2005 Toulouse, France http://www.co-next.net/ info(a)co-next.net Organized by IST E-NEXT in cooperation with ACM SIGCOMM ----- SCOPE ----- CoNEXT aims at becoming a major forum in the area of future networking technologies. CoNEXT is designed as an open conference aiming to attract longer-term studies and to contribute to the integration of networking research at the international level. Co-NEXT especially invites students in networking to participate to this international event. The first day of the conference will be devoted to a student workshop with panel and poster sessions. Example of relevant topics Autonomic Communications Context Awareness Cross-layer Integration Dependable Networks Experimental Networking Identity Management Internet Economics Large Test-bed Mobile Communication Monitoring Network Security Overlay Networks Scalability Sensor Networks Service Engineering Traffic Engineering User Perceived QoS Wireless Paper Submission Authors of submitted papers must be students. Papers presenting ongoing work with a new contribution are most welcome, even if the work is preliminary. Authors are invited to discuss future work. Papers must be submitted in electronic format and must be no longer than 2 pages at the ACM SIGCOMM double column format. Accepted papers will appear in the Co-NEXT electronic proceedings, published by ACM. They will be presented during the first conference day in the poster sessions. Submissions have to be sent by e-mail in postscript or pdf format to studentws(a)co-next.net. Important dates Submission: July 17th, 2005 Notification: August 8th, 2005 Final version: August 19th, 2005 ------------------ STEERING COMMITTEE ------------------ Arturo Azcorra, University Carlos III de Madrid, Spain Fernando Boavida, University of Coimbra, Portugal Michel Diaz, LAAS-CNRS, France Christophe Diot, Intel research Cambridge, UK Serge Fdida, University P&M Curie-Paris, France Laurent Mathy, Lancaster University, UK Jennifer Rexford, AT&T Labs, USA Mikhail Smirnov, Fraunhofer FOKUS, Germany Ioannis Stavrakakis, University of Athens, Greece Burkhard Stiller, University of Zurich and ETH Zurich, Switzerland Giorgio Ventre, University of Napoli, Italy ----------------- PROGRAM COMMITTEE ----------------- Marco Ajmone Marsan, Politecnico di Torino, Italy Kevin Almeroth, UC Santa Barbara, USA Paul Amer, University of Delaware, USA Mostafa Ammar, Georgia Institute of Technology, USA Ernst Biersack, Institut Eurecom, France Olivier Bonaventure, Univ. Catholique de Louvain, Belgium Andrew Campbell, Columbia University, USA Mark Crovella, Boston University, USA Jon Crowcroft, University of Cambridge, U K Walid Dabbous, INRIA, France Edmundo de Souza e Silva, Rio, Brazil Jordi Domingo-Pascual, Univ. Politcnica de Catalunya, Spain Constantinos Dovrolis, Georgia Tech, USA Otto Duarte, UF Rio do Janeiro, Brazil Wolfgang Effelsberg, University of Mannheim, Germany Hiroshi Esaki, University of Tokyo, Japan Anja Feldman, University of Munich, Germany Jarmo Harju, Tempere University of Technology, Finland Ian Graham, Endace Group, New Zealand Gsli Hjßlmt²sson, Reykjavik University, Iceland Farouk Kamoun, ENSI Tunis, Tunisia Gunnar Karlsson, Royal Institute of Technology, Sweden George Kesidis, Pennsylvania State University, USA Anne-Marie Kermarrec, IRISA, France Jim Kurose, University of Massachusetts, USA Guy Leduc, University of Lige, Belgium Edmundo Monteiro, University of Coimbra, Portugal Sue Moon, KAIST, Korea Andrew Odlyzko, University of Minnesota, USA Giovanni Pacifici, IBM T.J. Watson Research Center, USA Kihong Park, Purdue University, USA Thomas Plagemann, University of Oslo, Norway Douglas Reeves, North Carolina State University, USA Luigi Rizzo, Universita di Pisa, Italy Catherine Rosenberg, Waterloo University, Canada Matt Roughan, University of Melbourne, Australia Aruna Seneviratne, NICTA, Australia Cormac Sreenan, Cork Uni, Ireland Peter Steenkiste, CMU, USA Ralf Steinmetz, TU Darmstadt, Germany Ivan Stojmenovic, University of Ottawa, Canada Piet Van Mieghem, Delft University of Technology, The Netherlands Andras Veres, Ericsson, Hungary Mary Vernon, University of Wisconsin, USA Yannis Viniotis, North Carolina State University, USA Ryuji Wakikawa, Keio University, Japan Lars Wolf, Technical University at Braunschweig, Germany

18 Jahre, 10 Monate

LANOMS 2005 IFIP co-sponsorship

von Raouf Boutaba

LANOMS (Latin America NOMS) has been always sponsored technically by IEEE ComSoc. For this year, they are requesting the technical sponsorship of IFIP (WG6.6). See attached event request form. Note that the conference tales place always in Brazil and they are not willing to pay event proceeds. Let me know if this is agrreable to TC6. Raouf -----Original Message----- From: Lisandro Zambenedetti Granville [mailto:granville@inf.ufrgs.br] Sent: Friday, June 10, 2005 10:27 AM To: 'Raouf Boutaba' Cc: 'Luciano Paschoal Gaspary' Subject: LANOMS 2005 IFIP co-sponsorship Dear Raouf Some days ago I have sent you the message below. Sorry if this is a second copy, by I'm sending it again just to be sure that you have received the first message. Regards, Lisandro --------------------- Dear Raouf I'm not sure, but I believe I'm supposed to send to you the attached form requesting the IFIP technical co-sponsorship for LANOMS 2005. If I'm wrong, however, could you please inform to whom I should send the form? I'm also aware that the form should be faxed. I'm sending by e-mail this time just to be sure that the required information is ok. In addition, I would like to ask you an advice concerning the LANOMS proceedings: Alfred Hofmann didn't react to your last message and we don't known what to do anymore :( The paper selection process is going to be finished soon and we still don't have any feedback from Springer. I can't see why this is happening, because I believe LANOMS has all requisites to have proceedings in LNCS series. Do you have any tip? Thanks in advance, Lisandro

18 Jahre, 10 Monate

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 Juni 2005