Result 1 to 15 of 15 total
A case study in decentralized, dynamic, policy-based, authorization and trust management ‒ automated software distribution for airplanes. (English)
Cuellar, Jorge (ed.) et al., Security and trust management. 6th international workshop, STM 2010, Athens, Greece, September 23‒24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-22443-0/pbk). Lecture Notes in Computer Science 6710, 68-83 (2011).
1
A case study in decentralized, dynamic, policy-based, authorization and trust management - automated software distribution for airplanes (English)
STM, 68-83 (2010).
2
Formal security analysis of electronic software distribution systems. (English)
Harrison, Michael D. (ed.) et al., Computer safety, reliability, and security. 27th international conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22‒25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87697-7/pbk). Lecture Notes in Computer Science 5219, 415-428 (2008).
3
Formal security analysis of electronic software distribution systems (English)
SAFECOMP, 415-428 (2008).
4
Die datenschutz- und sicherheitskonforme Ausgestaltung von Location Based Services am Beispiel eines mobilen Touristenführers. (German)
König-Ries, Birgitta et al., MMS 2007: Mobilität und mobile Informationssysteme, 2nd conference of GI-Fachgruppe MMS, March 6th, 2007 in Aachen, Germany. Bonner Köllen Verlag (ISBN 978-3-88579-198-0). GI-Edition - Lecture Notes in Informatics (LNI), P-104, 85-96 (2007).
5
Die datenschutz- und sicherheitskonforme ausgestaltung von location based services am beispiel eines mobilen touristenführers (English)
MMS, 85-96 (2007).
6
Choreographing security and performance analysis for web services (English)
EPEW/WS-FM, 200-214 (2005).
7
Attacking a protocol for group key agreement by refuting incorrect inductive conjectures. (English)
Basin, David (ed.) et al., Automated reasoning. Second international joint conference, IJCAR 2004, Cork, Ireland, July 4‒8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22345-2/pbk). Lecture Notes in Computer Science 3097. Lecture Notes in Artificial Intelligence, 137-151 (2004).
8
Attacking a protocol for group key agreement by refuting incorrect inductive conjectures (English)
IJCAR, 137-151 (2004).
9
Simple representative instantiations for multicast protocols. (English)
Garavel, Hubert (ed.) et al., Tools and algorithms for the construction and analysis of systems. 9th international conference TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2619, 128-143 (2003).
10
Simple representative instantiations for multicast protocols (English)
TACAS, 128-143 (2003).
11
A unifying model checking approach for safety properties of parameterized systems. (English)
Berry, Gérard (ed.) et al., Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2102, 311-323 (2001).
12
A unifying model checking approach for safety properties of parameterized systems (English)
CAV, 311-323 (2001).
13
Using model checking for system verification. (English)
München: LMU, Univ. München, viii, 204 p. (2000).
14
The common fragment of CTL and LTL (English)
FOCS, 643-652 (2000).
15
Result 1 to 15 of 15 total
Start
Contact
Print
General Help
