{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T20:28:58Z","timestamp":1726000138264},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030030254"},{"type":"electronic","value":"9783030030261"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03026-1_12","type":"book-chapter","created":{"date-parts":[[2018,11,19]],"date-time":"2018-11-19T15:45:45Z","timestamp":1542642345000},"page":"172-180","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["New Security Attack and Defense Mechanisms Based on Negative Logic System and Its Applications"],"prefix":"10.1007","author":[{"given":"Yexia","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuejin","family":"Du","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shen","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baoxu","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,20]]},"reference":[{"issue":"2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/JSSC.2013.2295980","volume":"49","author":"R Daniele","year":"2014","unstructured":"Daniele, R., Lieshout, P., Roermund, R., Cantatore, E.: Positive-feedback level shifter logic for large-area electronics. J. Solid-State Circ. 49(2), 524\u2013535 (2014)","journal-title":"J. Solid-State Circ."},{"issue":"2","key":"12_CR2","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1215\/00294527-2420648","volume":"55","author":"M Belkasmi","year":"2014","unstructured":"Belkasmi, M.: Positive model theory and amalgamations. Notre Dame J. Formal Logic 55(2), 205\u2013230 (2014)","journal-title":"Notre Dame J. Formal Logic"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Cheng, X., Guan, Z., Wang, W., Zhu, L.: A simplification algorithm for reversible logic network of positive\/negative control gates. In: FSKD 2012, pp. 2442\u20132446 (2012)","DOI":"10.1109\/FSKD.2012.6233837"},{"issue":"1","key":"12_CR4","doi-asserted-by":"crossref","first-page":"31","DOI":"10.3233\/FI-2011-616","volume":"114","author":"S Celani","year":"2012","unstructured":"Celani, S., Jansana, R.: A note on the model theory for positive modal logic. Fundam. Inf. 114(1), 31\u201354 (2012)","journal-title":"Fundam. Inf."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bhuvana, B.P., Bhaaskaran, V.K.: Positive feedback symmetric adiabatic logic against differential power attack. In: VLSI Design 2018, pp. 149\u2013154 (2018)","DOI":"10.1109\/VLSID.2018.53"},{"issue":"Supplement","key":"12_CR6","doi-asserted-by":"publisher","first-page":"S48","DOI":"10.1016\/j.jal.2017.12.004","volume":"25","author":"B Jespersen","year":"2017","unstructured":"Jespersen, B., Carrara, M., Du\u017e\u00ed, M.: Iterated privation and positive predication. J. Appl. Logic 25(Supplement), S48\u2013S71 (2017)","journal-title":"J. Appl. Logic"},{"issue":"6","key":"12_CR7","first-page":"1799","volume":"27","author":"M Balan","year":"2017","unstructured":"Balan, M., Kurz, A., Velebil, J.: An institutional approach to positive coalgebraic logic. J. Log. Comput. 27(6), 1799\u20131824 (2017)","journal-title":"J. Log. Comput."},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s11787-017-0180-5","volume":"11","author":"A Citkin","year":"2017","unstructured":"Citkin, A.: Admissibility in positive logics. Log. Univers. 11(4), 421\u2013437 (2017)","journal-title":"Log. Univers."},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.ijar.2016.10.001","volume":"83","author":"D Buchman","year":"2017","unstructured":"Buchman, D., Poole, D.: Negative probabilities in probabilistic logic programs. Int. J. Approx. Reason. 83, 43\u201359 (2017)","journal-title":"Int. J. Approx. Reason."},{"issue":"3","key":"12_CR10","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s11787-017-0175-2","volume":"11","author":"O Lahav","year":"2017","unstructured":"Lahav, O., Marcos, J., Zohar, Y.: Sequent systems for negative modalities. Log. Univers. 11(3), 345\u2013382 (2017)","journal-title":"Log. Univers."},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"388","DOI":"10.2178\/jsl.7802030","volume":"78","author":"T Studer","year":"2013","unstructured":"Studer, T.: Decidability for some justification logics with negative introspection. J. Symb. Log. 78(2), 388\u2013402 (2013)","journal-title":"J. Symb. Log."},{"issue":"3","key":"12_CR12","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s11225-010-9293-z","volume":"96","author":"N Gratzl","year":"2010","unstructured":"Gratzl, N.: A sequent calculus for a negative free logic. Stud. Log. 96(3), 331\u2013348 (2010)","journal-title":"Stud. Log."},{"key":"12_CR13","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-13861-4_4","volume-title":"Computer Networks","author":"M Nikodem","year":"2010","unstructured":"Nikodem, M., Bawiec, M.A., Surmacz, T.R.: Negative difference resistance and its application to construct boolean logic circuits. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2010. CCIS, vol. 79, pp. 39\u201348. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13861-4_4"},{"issue":"2","key":"12_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.5391\/IJFIS.2004.4.2.231","volume":"4","author":"DW Lee","year":"2004","unstructured":"Lee, D.W., Sim, K.B.: Negative selection algorithm for DNA sequence classification. Int. J. Fuzzy Log. Intell. Syst. 4(2), 231\u2013235 (2004)","journal-title":"Int. J. Fuzzy Log. Intell. Syst."},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1005298816666","volume":"63","author":"D Luchi","year":"1999","unstructured":"Luchi, D., Montagna, F.: An operational logic of proofs with positive and negative information. Stud. Log. 63(1), 7\u201325 (1999)","journal-title":"Stud. Log."},{"issue":"10","key":"12_CR16","doi-asserted-by":"publisher","first-page":"2388","DOI":"10.3390\/s17102388","volume":"17","author":"BC Raducanu","year":"2017","unstructured":"Raducanu, B.C., et al.: Time multiplexed active neural probe with 1356 parallel recording sites. Sensors 17(10), 2388 (2017)","journal-title":"Sensors"},{"key":"12_CR17","unstructured":"Goel, S., Williams, K.J., Rizzo, N.S.: Using active probes to detect insiders before they steal data. In: AMCIS (2017)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Raducanu, B.C., et al.: Time multiplexed active neural probe with 678 parallel recording sites. In: ESSDERC 2016, pp. 385\u2013388 (2016)","DOI":"10.1109\/ESSDERC.2016.7599667"},{"issue":"1","key":"12_CR19","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/TBCAS.2014.2312552","volume":"9","author":"R Shulyzki","year":"2015","unstructured":"Shulyzki, R., et al.: 320-channel active probe for high-resolution neuromonitoring and responsive neurostimulation. IEEE Trans. Biomed. Circuits Syst 9(1), 34\u201349 (2015)","journal-title":"IEEE Trans. Biomed. Circuits Syst"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Pourmodheji, H., Ghafar-Zadeh, E., Magierowski, S.: Active nuclear magnetic resonance probe: a new multidiciplinary approach toward highly sensitive biomolecoular spectroscopy. In: ISCAS 2015, pp. 473-476 (2015)","DOI":"10.1109\/ISCAS.2015.7168673"}],"container-title":["Lecture Notes in Computer Science","Science of Cyber Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03026-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T14:36:48Z","timestamp":1605451008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03026-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030030254","9783030030261"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03026-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"SciSec","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Science of Cyber Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Beijing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 August 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 August 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"scisec2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sci-cs.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"54","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"20% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2-3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}