Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Judging private path is a kind of special privacy-preserving geometric calculation. In this paper, a private-preserving curvet-ellipse position relation determination protocol is proposed based on the Private-Preserving Dot Product Protocol and Millionaires' Protocol in semi-honest model along with analysis of protocol' capability. It can be used to solve the problem about judging private path.
Based on Zhang's short signature scheme without random oracles and k+1-square roots assumption, a new fair contract signing protocol with the off-line semi-Trusted Third Party is given because the disadvantages of existed fair contract signing protocol. The off-line semi-TTP intervenes into the protocol in cases where one party attempts to cheat or simply crashes to make the fair exchange optimistic...
Privacy-Preserving Computational Geometry is a kind of special secure multi-party computation problem. As a special privacy-preserving computational geometry problem, Privacy- Path Determination may be applied in many fields such as military field and commerce field. In this paper, a privacy-preserving line-ellipse position relation determination protocol is developed and based on this protocol, a...
Using formal method is an effective methodology for modeling and verifying software system. Describing and verifying cryptographic protocol by formal method is an important research. Pi-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic system. Mobility workbench (MWB) is an automatic tool for pi-calculus and can be used for analyzing and verifying mobile...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.