Feng Cheng 0002 Sebastian Roschke Christoph Meinel Implementing IDS Management on Lock-Keeper. 360-371 2009 ISPEC http://dx.doi.org/10.1007/978-3-642-00843-6_31 conf/ispec/2009 db/conf/ispec/ispec2009.html#ChengRM09