Search - IFIP - Lecture Notes in Computer Science

3 results

Deposit type : Fulltext

labStructName_s : Symantec Research Labs

labStructName_s : Laboratoire Spécification et Vérification [Cachan]

	For these 3 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Efficient and Secure Decentralized Network Size Estimation Nathan Evans , Bartlomiej Polot , Christian Grothoff 11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.304-317, ⟨10.1007/978-3-642-30045-5_23⟩ Conference papers hal-01531109v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Challenges in Critical Infrastructure Security Corrado Leita 6th International Conference on Autonomous Infrastructure (AIMS), Jun 2012, Luxembourg, Luxembourg. pp.1-1, ⟨10.1007/978-3-642-30633-4_1⟩ Conference papers hal-01529789v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Unidirectional Channel Systems Can Be Tested Petr Jančar , Prateek Karandikar , Philippe Schnoebelen 7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.149-163, ⟨10.1007/978-3-642-33475-7_11⟩ Conference papers hal-01556219v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More