Dear petrinet-owner, dear petrinet list members,
I had hoped that the list moderators would step into the discussion, to
clarify which changes are possible within the current framework, and
which would have to involve unwelcome departures. This message is
copied explicitly to petrinet-owner, with a summary of the changes that
have been mentioned recently, and some oddities that I noticed […]
Modeling and analysis of security protocols
===========================================
One post-doc position is available in the Department of Computer Science,
Stevens Institute of Technology.
The project is led by Professors Susanne Wetzel and David Naumann. It involves
development of analytic models and simulations of wireless network protocol
stacks, including both abstract protocol specifications and actual
implementations. We will create techniques and tools that […]