Протокол проведения электронного аукциона размещается: Протокол подведения итогов электронного аукциона размещается на электронной площадке и в ЕИС \ Акты, образцы, формы, договоры \ КонсультантПлюс

• 4877 доступов

• 9
  Цитаты

• 1

  Альтметрика

Часть серии книг Lecture Notes in Computer Science (LNSC, том 779)6)

Abstract

Аукционы имеют долгую историю, они были зарегистрированы еще в 500 г. до н.э. С появлением Интернета электронные аукционы пользовались большим успехом и все чаще используются. Было предложено множество криптографических протоколов для удовлетворения различных требований безопасности этих электронных транзакций. Мы предлагаем формальную основу для анализа и проверки свойств безопасности протоколов электронных аукционов. Мы моделируем протоколы в Applied π -Исчисление и определяем понятия конфиденциальности, которые включают в себя тайну заявок, анонимность участников, свободу получения и сопротивление принуждению. Мы также обсуждаем справедливость, неотказуемость и неотмену. Кроме того, мы показываем на двух тематических исследованиях, как эти свойства можно проверить автоматически с помощью ProVerif, и обнаруживаем несколько атак.

Ключевые слова

• Секретные данные
• Регистрационный орган
• Протокол аукциона
• Свойство аутентификации
• Электронный аукцион

Эти ключевые слова были добавлены авторами, а не авторами. Этот процесс является экспериментальным, и ключевые слова могут обновляться по мере улучшения алгоритма обучения.

Скачать документ конференции в формате PDF

Каталожные номера

1. Кришна В.: Теория аукционов. Академическая пресса (2002)

   Google ученый

2. Брандт, Ф.: Поддающийся проверке протокол аукциона, утвержденный участниками торгов. В: Труды 5-го семинара AAMAS по обману, мошенничеству и доверию к агентским обществам, стр. 18–25 (2002 г.)

   .
   Google ученый

3. Брандт, Ф.: Как добиться полной конфиденциальности на аукционах. Международный журнал информационной безопасности 5, 201–216 (2006 г.)

   Перекрёстная ссылка

   Google ученый

4. «>

   Брандт Ф., Сандхольм Т.: О существовании протоколов аукционов, безусловно сохраняющих конфиденциальность. АКМ Транс. Инф. Сист. Безопасность 11, 6:1–6:21 (2008)

   Google ученый

5. Пасш, К., Сонг, В., Коу, В., Тан, К.-Дж.: Протоколы онлайн-аукционов: сравнительное исследование. В: Коу В., Йеша Ю., Тан С.Дж.К. (ред.) ISEC 2001. LNCS, vol. 2040, стр. 170–186. Спрингер, Гейдельберг (2001)

   Google ученый

6. Кертис Б., Пепшик Дж., Серуга Дж.: Эффективный протокол аукциона. В: АРЕС, стр. 417–421. Компьютерное общество IEEE (2007)

   Google ученый

7. Франклин, М., Райтер, М.: Разработка и внедрение службы безопасного аукциона. В: Материалы симпозиума IEEE 1995 г. по безопасности и конфиденциальности, стр. 2–14 (май 1995 г.)

   .
   Google ученый

8. «>

   Harkavy, M., Tygar, J.D., Kikuchi, H.: Электронные аукционы с частными ставками. В: Труды 3-го семинара USENIX по электронной коммерции, стр. 61–74 (1998)

   .
   Google ученый

9. Кикучи, Х., Харкави, М., Тайгар, Д.Д.: Протоколы многоэтапного анонимного аукциона. В: Материалы первого семинара IEEE по надежным системам электронной коммерции в реальном времени, стр. 62–69. Спрингер (1998)

   Google ученый

10. Ли, Б., Ким, К., Ма, Дж.: Эффективный публичный аукцион с одноразовой регистрацией и публичной проверкой. В: Pandu Rangan, C., Ding, C. (ред.) INDOCRYPT 2001. LNCS, vol. 2247, стр. 162–174. Springer, Heidelberg (2001)

    CrossRef

    Google ученый

11. Омотэ, К., Мияджи, А.: Аукцион практического английского языка с одноразовой регистрацией. В: Varadharajan, V. , Mu, Y. (ред.) ACISP 2001. LNCS, vol. 2119, стр. 221–234. Спрингер, Гейдельберг (2001)

    Перекрёстная ссылка

    Google ученый

12. Абэ, М., Судзуки, К.: Аукцион запечатанных предложений без квитанции. В: Чан, А.Х., Глигор, В.Д. (ред.) ISC 2002. LNCS, vol. 2433, стр. 191–199. Springer, Heidelberg (2002)

    CrossRef

    Google ученый

13. Стаблбайн, С.Г., Сайверсон, П.Ф.: честные онлайн-аукционы без специальных доверенных лиц. В: Франклин, М.К. (ред.) FC 1999. LNCS, vol. 1648, стр. 230–240. Спрингер, Гейдельберг (1999)

    Перекрестная ссылка

    Google ученый

14. Субраманиан, С.: Разработка и проверка безопасного протокола электронного аукциона. В: Материалы 17-го симпозиума IEEE по надежным распределенным системам, SRDS 1998, стр. 204–210. Компьютерное общество IEEE (1998)

    Google ученый

15. «>

    Донг, Н., Йонкер, Х., Панг, Дж.: Анализ протокола аукциона без квитанций в прикладном исчислении числа Пи. В: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol. 6561, стр. 223–238. Спрингер, Гейдельберг (2011)

    Перекрёстная ссылка

    Google ученый

16. Кюстерс, Р., Трудерунг, Т., Фогт, А.: Подотчетность: определение и связь с проверяемостью. В: Материалы 17-й конференции ACM по компьютерной и коммуникационной безопасности, CCS 2010, стр. 526–535. АКМ (2010)

    Google ученый

17. Бакес, М., Хритку, К., Маффей, М.: Автоматизированная проверка протоколов удаленного электронного голосования в прикладном исчислении Пи. В: CSF 2008, стр. 19.5–209 (2008)

    Google ученый

18. Делон С., Кремер С., Райан М.: Проверка свойств конфиденциальности протоколов электронного голосования. Журнал компьютерной безопасности 17, 435–487 (2009)

    Google ученый

19. Драйер, Дж., Лафуркад, П., Лахнеч, Ю.: Независимость от голосования: мощное понятие конфиденциальности для протоколов голосования. В: Гарсия-Альфаро, Дж., Лафуркад, П. (ред.) FPS 2011. LNCS, vol. 6888, стр. 164–180. Спрингер, Гейдельберг (2012)

    Перекрёстная ссылка

    Google ученый

20. Драйер, Дж., Лафуркад, П., Лахнеч, Ю.: Определение конфиденциальности для взвешенных голосов, принуждение одного и нескольких избирателей. В: Форести, С., Юнг, М., Мартинелли, Ф. (ред.) ESORICS 2012. LNCS, vol. 7459, стр. 451–468. Springer, Heidelberg (2012)

    CrossRef

    Google ученый

21. Драйер, Дж., Лафуркад, П., Лахнеч, Ю.: Формальная таксономия конфиденциальности в протоколах голосования. В: Первый международный семинар IEEE по безопасности и криминалистике в системах связи, ICC 2012 WS — SFCS (2012)

    Google ученый

22. «>

    Кюстерс, Р., Трудерунг, Т.: Эпистемический подход к сопротивлению принуждению для протоколов электронного голосования. В: S&P 2009, стр. 251–266. Компьютерное общество IEEE (2009)

    Google ученый

23. Смит, Б., Кортье, В.: Атака и исправление гелиоса: анализ тайны голосования. В: CSF 2011, стр. 297–311. IEEE (2011)

    Google ученый

24. Клэй Ф., Виньерон Л.: Формальные аспекты безопасности и доверия, стр. 192–209. Спрингер (2009)

    Google ученый

25. Лю Дж., Виньерон Л.: Разработка и проверка протокола неотказуемости на основе смарт-карты на стороне получателя. Информационная безопасность, IET 4(1), 15–29 (2010)

    CrossRef

    Google ученый

26. Абади, М., Фурнет, К. : Мобильные ценности, новые имена и безопасная связь. В: POPL 2001, стр. 104–115. ACM, Нью-Йорк (2001)

    Google ученый

27. Бланше Б.: Эффективный верификатор криптографического протокола на основе правил Пролога. В: CSFW 2001, стр. 82–96. Компьютерное общество IEEE, Кейп-Бретон (2001)

    Google ученый

28. Бланше, Б.: От секретности к подлинности в протоколах безопасности. В: Hermenegildo, MV, Puebla, G. (ред.) SAS 2002. LNCS, vol. 2477, стр. 342–359. Спрингер, Гейдельберг (2002)

    Перекрёстная ссылка

    Google ученый

29. Бланше, Б., Абади, М., Фурнет, К.: Автоматическая проверка выбранных эквивалентностей для протоколов безопасности. Журнал логики и алгебраического программирования 75 (1), 3–51 (2008)

    CrossRef
    MathSciNet
    МАТЕМАТИКА

    Google ученый

30. «>

    Драйер, Дж., Лафуркад, П., Лахнеч, Ю.: Формальная проверка протоколов электронных аукционов. Технический отчет TR-2012-17, исследовательский отчет Verimag (октябрь 2012 г.),
    http://www-verimag.imag.fr/TR/TR-2012-17.pdf

31. Дрейер, Дж.: Код проверки, используемый для автоматической проверки примеров, доступен по адресу
    http://www-verimag.imag.fr/~dreier/papers/post-code.zip
    (2012)

32. Клус П., Смит Б., Райан М.Д.: Proswapper: Улучшенный верификатор эквивалентности для проверки (2010),
    http://www.bensmyth.com/proswapper.php

33. Арапинис М., Риттер Э., Райан М.Д.: Статвериф: Проверка процессов с отслеживанием состояния. В: CSF 2011, стр. 33–47. Компьютерное общество IEEE (2011)

    Google ученый

Download references

Author information

Authors and Affiliations

1. Université Grenoble 1, CNRS, Verimag, France

   Jannik Dreier, Pascal Lafourcade & Yassine Lakhnech

Authors

1. Jannik Dreier

   View публикации автора

   Вы также можете искать этого автора в
   PubMed Google Академия

2. Паскаль Лафуркад

   Посмотреть публикации автора

   Вы также можете искать этого автора в
   PubMed Google Scholar

3. Yassine Lakhnech

   Просмотр публикаций автора

   Вы также можете искать этого автора в
   PubMed Google Scholar

Информация для редакторов

Редакторы и филиалы

1. Институт информационной безопасности, ETH Zurich, Швейцария

   David Basin

2. Департамент компьютерных наук, Стэнфордский университет, Гейтс 476, 94305-9045, Стэнфорд, Калифорния, США

   Джон С. Митчелл

Права и разрешение

ИСПРАВЛЕНИЕ И УПРАВЛЕНИЕ

888888888888888888888888888888888888888888888888888888888

© 2013 Springer-Verlag Berlin Heidelberg

Об этой статье

Публичный электронный аукцион Определение | Law Insider

• означает итеративный процесс, включающий использование электронных средств для представления поставщиками либо новых цен, либо новых значений поддающихся количественному измерению неценовых элементов тендера, связанных с критериями оценки, или того и другого, что приводит к ранжирование или переранжирование тендеров;

• считается письменным уведомлением для целей настоящего Раздела 13, если оно отправлено на адрес электронной почты, указанный получающей стороной, под отдельной обложкой. Электронное уведомление считается полученным в тот момент, когда сторона, отправляющая Электронное уведомление, получает подтверждение получения от принимающей стороны. Любая сторона, получающая Электронное уведомление, может запросить и имеет право на получение уведомления на бумаге в неэлектронной форме («Неэлектронное уведомление»), которое должно быть отправлено запрашивающей стороне в течение десяти (10) дней с момента получения письменного запроса на Неэлектронное уведомление. Уведомление.

• означает создание или передачу на школьной территории или за ее пределами с помощью электронного устройства, включая, помимо прочего, телефон, беспроводной телефон или другое устройство беспроводной связи, компьютер или пейджер, средства связи. , включая, помимо прочего, любое из следующего:

• означает маршрут/квитанцию, выданную нами или от нашего имени, электронные купоны и, если применимо, посадочный документ.

• означает компьютерную программу или электронное или другое автоматизированное средство, используемое независимо для инициирования действия или ответа на электронные записи или исполнения полностью или частично без проверки или действий со стороны физического лица.

• означает любое портативное или другое портативное электронное оборудование, способное обеспечить передачу данных между двумя или более лицами, включая, помимо прочего, устройство обмена текстовыми сообщениями, пейджинговое устройство, персональный цифровой помощник, портативный компьютер, оборудование, способное воспроизводить видеоигры или цифровые видеодиски, или оборудование, на котором снимаются или передаются цифровые изображения.

• означает Сеть электронных коммуникаций, полностью или в основном предназначенную для того, чтобы сделать Электронные коммуникационные услуги доступными для представителей общественности;

• означает цифровую форму, состоящую из текста, изображений или того и другого, читаемую на компьютерах или других электронных устройствах, которая включает в себя весь контент, содержащийся в Оригинале и Печатной копии предложений. Цифровая форма может быть представлена ​​с использованием компакт-диска (cd) или USB-накопителя. Электронная версия/копия НЕ могут быть отправлены по электронной почте.

• означает: компьютер; компьютерный монитор; устройство, содержащее электронно-лучевую трубку; принтер; или телевизор, проданный застрахованной организацией. «Застрахованное электронное устройство» не включает: любое транспортное средство или любую его часть; фотоаппарат или видеокамера; портативное или стационарное радио; беспроводной телефон; бытовой прибор, такой как стиральная машина, сушилка для белья, водонагреватель, холодильник, морозильник, микроволновая печь, духовка, плита или посудомоечная машина; оборудование, функционально или физически являющееся частью более крупного оборудования, предназначенного для использования в промышленных, научно-исследовательских или коммерческих целях; охранное или антитеррористическое оборудование; приборы или системы контроля и управления; термостаты; рации; телефон любого типа; портативный цифровой помощник или подобное устройство; Калькулятор; приемник системы глобального позиционирования или аналогичное навигационное устройство; коммерческое медицинское оборудование, содержащее электронно-лучевую трубку, устройство с электронно-лучевой трубкой, плоский дисплей или аналогичный видеодисплей, который не является отдельным от более крупного оборудования; или другие медицинские устройства, как термин «устройство» определяется в соответствии с 21 U. S.C. § 321(h) Федерального закона о пищевых продуктах, лекарствах и косметических средствах, поскольку в этот раздел время от времени вносятся поправки.

• означает элемент, который работает путем управления потоком электронов или других электрически заряженных частиц в цепях с использованием взаимосвязей, таких как резисторы, катушки индуктивности, конденсаторы, диоды, переключатели, транзисторы или интегральные схемы.

• означает успешную подачу предложения Претендента.

• означает метод продажи, при котором продавец предлагает товары или услуги потребителям, которые посещают или получают возможность лично присутствовать на аукционе, посредством прозрачной, конкурентной процедуры торгов, проводимой аукционистом, и когда победитель участник торгов обязан приобрести товары или услуги;

• означает PHI, созданную, полученную, поддерживаемую или переданную в электронном виде в соответствии с 45 CFR § 160.103.

• означает документ, представляемый в соответствии с законодательством о ценных бумагах или указаниями по ценным бумагам в электронной форме, или акт подачи документа в соответствии с законодательством о ценных бумагах или указаниями по ценным бумагам в электронной форме, в зависимости от контекста;

• означает доступ к системам поддержки операций, состоящим из функций предварительного заказа, заказа, предоставления, обслуживания и ремонта, а также выставления счетов.

• означает любую информацию, хранящуюся в электронной форме (включая, помимо прочего, информацию в двоичном коде).

• означает информацию о содержании или значении электронного сообщения, к которому применимы все следующие положения:

• означает любое пероральное устройство, которое производит пары жидкого никотина, лобелии и/или другого подобного вещества, и использование или вдыхание которых имитирует курение. Термин включает любые такие устройства, независимо от того, производятся ли они, распространяются, продаются или продаются как электронные сигареты, электронные сигары, электронные трубки или под другим названием продукта или дескриптором.

• означает бюллетень, зарегистрированный с использованием прямого электронного голосования таким образом, чтобы все голосование, проведенное с помощью электронных средств, регистрировалось и подсчитывалось в электронном реестре на централизованном сервере с надлежащей кибербезопасностью.