Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- challenge 2 39 Treffer
- formal methods 25 Treffer
- security protocols 25 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 15 Treffer
- cryptographic protocols 15 Treffer
-
45 weitere Werte:
- [info.info-dc]computer science [cs]/distributed 13 Treffer
- and cluster computing [cs.dc] 13 Treffer
- parallel 13 Treffer
- verification 13 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 11 Treffer
- security 10 Treffer
- [info.info-et]computer science [cs]/emerging technologies [cs.et] 9 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 9 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 9 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 9 Treffer
- equational theory 9 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 8 Treffer
- privacy 8 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 6 Treffer
- abstractions 6 Treffer
- aci 6 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.2: network protocols/c.2.2.2: protocol verification 6 Treffer
- api 6 Treffer
- approximations 6 Treffer
- authentication 6 Treffer
- composition 6 Treffer
- constraint solving 6 Treffer
- deduction 6 Treffer
- e-voting 6 Treffer
- xml access control 6 Treffer
- xpath 6 Treffer
- [info.info-wb]computer science [cs]/web 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.4: model checking 5 Treffer
- deducibility constraints 5 Treffer
- dolev-yao intruder 5 Treffer
- model-checking 5 Treffer
- orchestration 5 Treffer
- saturation 5 Treffer
- security policy 5 Treffer
- separation of duty 5 Treffer
- static equivalence 5 Treffer
- theorem proving 5 Treffer
- tool 5 Treffer
- verifications 5 Treffer
- web services 5 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 4 Treffer
- abstraction 4 Treffer
- application programming interface 4 Treffer
- constraints 4 Treffer
Publikation
- https://hal.science/hal-01337411 ; [technical report] verimag umr 5104, universite grenoble alpes, france. 2015 3 Treffer
- https://hal.science/hal-01338012 ; [technical report] verimag umr 5104, universite grenoble alpes, france. 2012 3 Treffer
- https://hal.science/hal-01338039 ; [research report] verimag. 2012 3 Treffer
- https://hal.science/hal-01338071 ; [technical report] verimag umr 5104, universite grenoble alpes, france. 2011 3 Treffer
- https://inria.hal.science/inria-00480632 ; [research report] rr-7276, inria : institut national de recherche en sciences et technologies du numerique. 2010, 48p 3 Treffer
- 2 weitere Werte:
Sprache
Geographischer Bezug
Inhaltsanbieter
164 Treffer
-
In: https://hal.sorbonne-universite.fr/hal-01347699 ; 2015, 2015Online reportZugriff:
-
In: https://inria.hal.science/hal-01215265 ; [Research Report] RR-8790, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2015, pp.50, 2015Online reportZugriff:
-
In: https://hal.science/hal-01337411 ; [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015, 2015Online reportZugriff:
-
In: https://hal.science/hal-01337411 ; [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015, 2015Online reportZugriff:
-
In: https://hal.sorbonne-universite.fr/hal-01347699 ; 2015, 2015Online reportZugriff:
-
In: https://inria.hal.science/hal-01215265 ; [Research Report] RR-8790, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2015, pp.50, 2015Online reportZugriff:
-
In: https://hal.science/hal-01337411 ; [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015, 2015Online reportZugriff:
-
In: https://hal.sorbonne-universite.fr/hal-01347699 ; 2015, 2015Online reportZugriff:
-
In: https://hal.science/hal-01337411 ; [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015, 2015Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-01337411 ; [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015, 2015Online reportZugriff:
-
In: https://hal.inria.fr/hal-01215265 ; [Research Report] RR-8790, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2015, pp.50, 2015Online reportZugriff:
-
In: https://hal.science/hal-01337411 ; [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015, 2015Online reportZugriff:
-
In: https://inria.hal.science/hal-01007580 ; [Research Report] RR-8546, INRIA. 2014, pp.46, 2014Online reportZugriff:
-
In: https://inria.hal.science/hal-01011294 ; [Research Report] RR-8555, INRIA. 2014, pp.20, 2014Online reportZugriff:
-
In: https://hal.science/hal-01337415 ; [Technical Report] ETH Zurich. 2014, 2014Online reportZugriff:
-
In: https://inria.hal.science/hal-00955869 ; [Research Report] arXiv. 2014, pp.56, 2014Online reportZugriff:
-
In: https://inria.hal.science/hal-01007580 ; [Research Report] RR-8546, INRIA. 2014, pp.46, 2014Online reportZugriff:
-
In: https://inria.hal.science/hal-01011294 ; [Research Report] RR-8555, INRIA. 2014, pp.20, 2014Online reportZugriff:
-
In: https://hal.science/hal-01337415 ; [Technical Report] ETH Zurich. 2014, 2014Online reportZugriff:
-
In: https://inria.hal.science/hal-00955869 ; [Research Report] arXiv. 2014, pp.56, 2014Online reportZugriff: