Folgen
Matus Harvan
Matus Harvan
Institute of Information Security, ETH Zurich
Bestätigte E-Mail-Adresse bei inf.ethz.ch - Startseite
Titel
Zitiert von
Zitiert von
Jahr
MONPOLY: Monitoring usage-control policies
D Basin, M Harvan, F Klaedtke, E Zălinescu
Runtime Verification: Second International Conference, RV 2011, San …, 2012
1112012
SNMP traffic analysis: approaches, tools, and first results
J Schonwalder, A Pras, M Harvan, J Schippers, R van de Meent
2007 10th IFIP/IEEE International Symposium on Integrated Network Management …, 2007
782007
State-based usage control enforcement with data flow tracking using system call interposition
M Harvan, A Pretschner
2009 Third International Conference on Network and System Security, 373-380, 2009
742009
Connecting wireless sensor networks to the internet-a 6lowpan implementation for tinyos 2.0
M Harvan
Jacobs University Bremen, Germany, 2007
492007
Scalable offline monitoring
D Basin, G Caronni, S Ereth, M Harvan, F Klaedtke, H Mantel
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014
452014
Usage control enforcement with data flow tracking for x11
A Pretschner, M Büchler, M Harvan, C Schaefer, T Walter
5th Intl. Workshop on Security and Trust Management (STM), 2009
402009
Scalable offline monitoring of temporal specifications
D Basin, G Caronni, S Ereth, M Harvan, F Klaedtke, H Mantel
Formal Methods in System Design 49, 75-108, 2016
372016
Monitoring data usage in distributed systems
D Basin, M Harvan, F Klaedtke, E Zalinescu
IEEE Transactions on Software Engineering 39 (10), 1403-1426, 2013
352013
Monitoring usage-control policies in distributed systems
D Basin, M Harvan, F Klaedtke, E Zalinescu
2011 Eighteenth International Symposium on Temporal Representation and …, 2011
292011
Prefix-and lexicographical-order-preserving ip address anonymization
M Harvan, J Schonwalder
2006 IEEE/IFIP Network Operations and Management Symposium NOMS 2006, 519-526, 2006
232006
TinyOS Motes on the Internet: IPv6 over 802.15. 4 (6lowpan)
M Harvan, J Schönwälder
Walter de Gruyter GmbH & Co. KG 31 (4), 244-251, 2008
192008
A 6lowpan Implementation for TinyOS 2.0
M Harvan
6. Fachgespräch Sensornetzwerke 802, 109, 2007
112007
SNMP trace analysis definitions
G van den Broek, J Schönwälder, A Pras, M Harvan
Resilient Networks and Services: Second International Conference on …, 2008
92008
Usage Control Policy Enforcement in OpenOffice. org and Information Flow.
C Schaefer, T Walter, M Harvan, A Pretschner
ISSA, 393-406, 2009
52009
Processing encrypted and compressed time series data
M Harvan, S Kimoto, T Locher, YA Pignolet, J Schneider
2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017
32017
Xen Live Migration
M Harvan
Networks and Distributed Systems Seminar, 2006
32006
Wireless sensor networks: Motes, nesC, and TinyOS
J Schönwälder, M Harvan
EECS seminar, 2007
22007
Checking System Compliance by Slicing and Monitoring Logs
M Harvan, DA Basin, G Caronni, S Ereth, F Klaedtke, H Mantel
Technical report/Department of Computer Science 791, 2013
12013
Protocol Enhancements for Disruption Tolerant Mobile Networking
S Schütz, M Harvan, L Eggert, S Schmid, M Brunner
the 25th IEEE Conference on Computer Communications (INFOCOM 2006) 222, 2006
12006
Scalable Monitoring of Concurrent Systems
M Harvan
ETH Zurich, 2013
2013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20