14 Hits in 6.4 sec

Formal Specification and Verification of a Selective Defense for TDoS Attacks [chapter]

Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam
2016 Lecture Notes in Computer Science  
We formalize a novel selective strategy for mitigating these attacks in the computational tool Maude and verify these defenses using the statistical model checker PVeStA.  ...  This paper investigates the use of selective defenses [4] for mitigating two common TDoS attacks: The Coordinated Call [5] and the Prank Call [6] attacks: The Coordinated Call attack [5] exploits the fact  ...  Acknowledgments This work was supported by the Hessian excellence initiative LOEWE at the Center for Advanced Security Research Darmstadt (CASED), by RNP, by Capes and CNPq.  ... 
doi:10.1007/978-3-319-44802-2_5 fatcat:zswgoqd2zrhqjjdotzhhs37eb4

On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks [article]

Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
2017 arXiv   pre-print
Our first contribution is to demonstrate both experimentally and by using formal verification that selective strategies are suitable for mitigating TDoS attacks.  ...  We demonstrate that formal methods is a powerful tool for specifying defenses for mitigating Distributed Denial of Service attacks allowing to increase our confidence on the proposed defense before actual  ...  grant 88881.030357/2013-01 and CNPq.  ... 
arXiv:1709.04162v1 fatcat:5474mkrsw5huvgago6lq5flvqa

Brain leaks and consumer neurotechnology

Marcello Ienca, Pim Haselager, Ezekiel J Emanuel
2018 Nature Biotechnology  
T Watch the media and security lists for warnings. T Be very selective about the plugins used to reduce your attack surface.  ...  For example, the latest version of Android, codenamed Marshmallow (version 6.0), was launched in October and includes a number of features designed specifically to thwart attackers.  ...  Running out-of-date versions can put you at risk from being exploited by web-based attacks. Only download updates from vendor sites directly. Select automatic updates wherever possible.  ... 
doi:10.1038/nbt.4240 pmid:30188521 fatcat:dwoyvyborfdifdkklju3p3qek4

ICL670A [chapter]

2017 Encyclopedia of Cancer  
The factors that influence the formation of a specific mutation pattern can be seen as a succession of "filters" that select for particular mutations.  ...  Following the administration of a vaccine antigen that resembles a specific target, the patient's humoral and T-cell-specific immune response induces defense mechanisms to combat the target in vivo.  ...  as a cell-or tissue-specific balance in coactivators or corepressors for ER exists.  ... 
doi:10.1007/978-3-662-46875-3_101180 fatcat:66hbagjkhzalvc3i2pzbhoe7aa

Indoleamine 2,3-Dioxygenase [chapter]

Kazuhiko Ino, Fumitaka Kikkawa
2011 Encyclopedia of Cancer  
The database is meant to be a resource for a broad range of scientists and clinicians who work in different research areas: basic research, to study the structural and functional aspects of the ▶ p53 protein  ...  Definition The ▶ IARC ▶ TP53 mutation database is a public web-based resource for the analysis and interpretation of the biological and clinical impacts of TP53 gene variations in human cancers (http:/  ...  The factors that influence the formation of a specific mutation pattern can be seen as a succession of "filters" that select for particular mutations.  ... 
doi:10.1007/978-3-642-16483-5_3037 fatcat:ruhceyprszcm5d6te5rrm74bfq

Comparative effectiveness research in neurotrauma

Shelly D. Timmons, Steven A. Toms
2012 Neurosurgical Focus  
For a list of documents currently on file for public inspection, see  ...  The FEDERAL REGISTER provides a uniform system for making available to the public regulations and legal notices issued by Federal agencies.  ...  Renewal of the TDO A.  ... 
doi:10.3171/2012.6.focus1296 pmid:22746235 fatcat:jz4p245zyvhydnyawblkblih7e

The 18th European Symposium on Quantitative Structure–Activity Relationships

Anna Tsantili-Kakoulidou, Dimitris K Agrafiotis
2011 Expert Opinion on Drug Discovery  
especially its positioning into the ATP binding cleft. 4 CDK1 inhibitory potency or/and selectivity improvement efforts led to the synthesis of new selectively substituted pyrrolo [2,3-a]carbazoles.  ...  Acknowledgement: TP appreciates a grant from the City Hall of Paris.  ...  as nucleophilic sites of attack.  ... 
doi:10.1517/17460441.2011.560604 pmid:22646021 fatcat:tb4bhvtnpzahxm4xba7iw4afuy

Priorities assignment for actions in a transport system based on a multicriteria decision model [chapter]

2009 Reliability, Risk, and Safety, Three Volume Set  
The innovative tools for prevention of accidents in a post-socialist country Council Directive 89/391/EEC of 12 June 1989 on the introduction of measures to encourage improvements in the safety and health  ...  Richter, A. 2003: "New Ways of managing Prevention: A Cultural and Participative Approach". Safety Science Monitor 1: 2003. Roberts K.H. 1990.  ...  Formal modelling and simulation of train control systems using petri nets, FM'99 -Formal Methods, ISBN 978-3-540-66588-5. Trowitzsch, J. & Zimmermann, A. 2006.  ... 
doi:10.1201/9780203859759-69 fatcat:wnkjp4evmnawrn55cmckrgazze


1907 BMJ (Clinical Research Edition)  
la'ynx, accompanied by great enlargement of the cervical lymphatic glands on oae or both isides of the neck, fetor ot the breath, frequent small haemorrhages from the throat, geneTal cachexia, and pain  ...  shooting fr.n the thrcat into the care. 952 TD TM Ban= ] 952g NJovvxJOMA roCT. 2, 1907-OCT. 12, 1907.1 TUBERCULOSIS, SYPHILIS AND MAIGNANT DISEASE OF L&EYNX. 7 9  ...  cause of polypus formation, and the verification of this evidence by clinical and to a.  ... 
doi:10.1136/bmj.2.2441.952 fatcat:au52tjlb4vcp7ir4gr4tunxlvy

Information system agnostic ancestry for digital objects

Stephan Jakob Benedikt Heuscher
This information needs to be accessible independent of a specific information system.  ...  To date, these digital objects have no independent identification which can be refered outside of a specific information system.  ...  Dittrich, who was a great inspiration  ... 
doi:10.5167/uzh-46699 fatcat:qrumkbqyi5a2pjnwcz7chzuulm

Leaf Senescence in Arabidopsis thaliana and Brassica napus: From Molecular Regulation to Nutrient Remobilization Processes [article]

Lena Maria Riester, Universitaet Tuebingen, Zentgraf, Ulrike (Prof. Dr.)
Leaf senescence is the final stage of leaf development and guarantees successful survival of a plant and its progeny.  ...  We identified a small sub-network between WRKY18, WRKY25 and WRKY53, in which WRKY25 is a positive and WRKY18 is a negative regulator of WRKY53 expression.  ...  We are grateful to Fabian Koeslin-Findeklee and Walter Horst (University of Hannover, Germany) for providing leaf material of OSR grown in hydroponics.  ... 
doi:10.15496/publikation-36962 fatcat:njyjxcubnvg3ffm2xi53fwl774

Negotiating racial boundaries and organisational borders: an interpretive study of a cross cultural training programme [article]

Susan Young
Here is a rationale for the design, list of abbreviations and a list of study participants for quick reference while reading.  ...  The standard and accepted manner of presenting a research thesis allows poorly for such foregrounding, concentrating more on a realist and objective representation of observable fact.  ...  From the feedback I got from staff they felt attacked, they weren 'tjust defensive, they felt attacked.  ... 
doi:10.26182/5d0c473075182 fatcat:szc4s5pnirfnfcffmxxo2tktni

Paradise into wasteland : some novels of the 1920s [article]

Garry Noel Beveridge, University Of Canterbury
In order to rectify this falsification, a new conceptual frame of reference, the American Dream, is used to locate the decade as a distinct period and as a part of America's total civilization.  ...  The American 1920s is a period too often treated without roots and this, combined with a tendency to romanticize its history, has distorted the meaning of the decade.  ...  of mind which, influenced by a specific though portable and intangible 136.  ... 
doi:10.26021/3842 fatcat:x6mskdl4avdjhaqgi2g4htqgni

*********************************************************************** Reproductions supplied by EDRS are the best that can De made from the original document. ******* ***** ********************************1************************** BEST COPY AVAILABLE PERMANENT SUBCOMMITTEE ON INVESTIGATIONS OF THE COMMITTEE ON GOVERNMENTAL AFFAIRS UNITED STATES SENATE ONE HUNDRED FIRST CONGRESS SECOND SESSION COMMITTEE ON GOVERNMENTAL AFFAIRS PERMANENT SUBCOMMITTEE ON INVESTIGATIONS

Li, John Glenn, Sam Nunn, Georgia Levin, Jim Sasser, David Pryor, Jeff Bingaman, New Memico, Herbert Kohl, Joseph Lieberman, William Roth, Ted Delaware (+24 others)
S DEPARTMENT OF EDuCaTION ,J.ktP C. at,-'ftt .entenc t c A' .,41, 1.-1 .4 11MA Nol Js .tt, s 4, as t.e. t a, nt0-t) ty4 ,tattgt-% frOCIal, IAA A 0.  ...  -e-f+IS Of t r t Sc .Iea th,s eta 0" P^of..fnt "1 4, pott,t,t n. S. HRG 101-659  ...  I have a wide varlety of insights and mins which Should be utaful In performing this fob.  ...