Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Dong, Naipeng"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-15 z 15
    Tytuł:
    Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols
    Autorzy:
    Ye, Quanqi
    Bai, Guangdong
    Dong, Naipeng
    Dong, Jin SongAff20, Aff22
    Pokaż więcej
    Źródło:
    Security and Privacy in Communication Networks : 13th International Conference, SecureComm 2017, Niagara Falls, ON, Canada, October 22–25, 2017, Proceedings. 238:469-488
    Książka elektroniczna
    Szczegóły
    Tytuł:
    The Foul Adversary: Formal Models
    Autorzy:
    Dong, Naipeng
    Muller, Tim
    Pokaż więcej
    Źródło:
    Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. 11232:37-53
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations
    Autorzy:
    Dong, Naipeng
    Jonker, Hugo
    Pang, Jun
    Pokaż więcej
    Źródło:
    Computer Security – ESORICS 2013 : 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings. 8134:499-516
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Formal Analysis of Privacy in an eHealth Protocol
    Autorzy:
    Dong, Naipeng
    Jonker, Hugo
    Pang, Jun
    Pokaż więcej
    Źródło:
    Computer Security – ESORICS 2012 : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. 7459:325-342
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Challenges in eHealth: From Enabling to Enforcing Privacy
    Autorzy:
    Dong, Naipeng
    Jonker, Hugo
    Pang, Jun
    Pokaż więcej
    Źródło:
    Foundations of Health Informatics Engineering and Systems : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. 7151:195-206
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus
    Autorzy:
    Dong, Naipeng
    Jonker, Hugo
    Pang, Jun
    Pokaż więcej
    Źródło:
    Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers. 6561:223-238
    Książka elektroniczna
    Szczegóły
      Wyświetlanie 1-15 z 15

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies