Utah voting system fending off 1B hacking attempts per day
utahpolicy.com
utahpolicy.com
Are they including SSH port scanning and attempts on port 22?
(you get those regardless of the technology on the backend, a lot of malicious vuln. scanners around test for that)
In fact, I've long wondered whether this isn't a great opportunity; I'd like to make a script that went through logs and got every IP trying to access such a path, and adds those IPs to a blacklist that gets dropped at the firewall. Not even a honeypot (since they try even when there's nothing there at all), but still a way to catch (really stupid) bad actors / compromised systems.
Would it be ok to ban an entire IP just because someone from that IP has a compromised machine? I remember this argument that if there is obviously malicious traffic coming from an IP address, the right solution is to block traffic at the next stop, usually the ISP supplying Internet access to that connection. Failing that, the back end should disconnect the ISP and failing that, the other peers should disconnect from the malicious peer. But I don't know how practical it is...
A billion "hacks" per day seems a bit far fetched. At that point, it's either a visible act of war (if external to the US) or the FBI would be much more involved (if internal). Both of those would be much larger news.
Russia allows its cyber-criminals free-reign when it comes to the rest of the world, as long as they're not interfering with official interests. Consider the difference in Letters of Marque vs the Admiralty in British history.
I hope that whoever is attempting to hack the Utah voting system has no nefarious purpose greater than changing "Mitt" to "Mittens.
In other words, it's marketing language designed to scare people who have no understanding of computer security.
Voting ID cards too, though I admit I don’t know enough about that. Even if it costs billions to get it done, confidence in fair and free elections is the cornerstone of our democracy.
After all, we struggle to get people to show up to vote once already! The idea of mass ballot fraud seems difficult to countenance without literally paying masses of people to vote (which I believe is extremely illegal).
EDIT: https://www.law.cornell.edu/uscode/text/18/597
EDIT 2: If you want to see real foreign interference, check out that time that Bill Clinton publicly aided the election of Boris Yeltsin.
https://www.nytimes.com/1996/02/23/world/russia-and-imf-agre...
I think this is a pretty good example of what I find to be the typical of an American practice of cutting off their own nose to spite their face. [1] Americans absolutely hate the idea of freeloaders or someone getting something they don’t deserve that they would rather make everything in life more complicated, less efficient, and harder on everyone (including themselves) than allow a little bit of inefficiency in the system to be accepted as the trade off. In this case it’s the hysteria around a few cases of voter fraud out of hundreds of millions, so they’d prefer to see a system enacted in which tens of millions of voters will be disenfranchised. Silly and out of proportion.
[1] this doesn’t seem to be the saying I want for this situation but I couldn’t think of a more appropriate one.
Yeah well not all of us, thanks.
Consider a "radical" idea. Who doesn't get to vote if they don't have an ID card?
And yet numerous other countries think it’s a worthwhile endeavor. You could probably get away without ever locking your front door, but why would you when the added security is so easy to implement? Even Mexico has cracked this nut, I think we could too.
If such an ID scheme were laid out fairly in the constitution, I think the US could do it fairly. But today? It'll never happen.
1. The ID in question is nationally compulsory to carry out most day-to-day tasks, and so no one is disenfranchised by having to show it. In the US, on the other hand, there are lots of people without any form of ID card
2. The country has a history of large-scale in-person voter fraud.
In Mexico, both of these things happen to be the case.
Except some dozend billions here and there at the military
A steady trickle of immigrants is much better because then it forces cultural integration, especially when the immigrants do not speak English. A flood of immigrants will lead to a nation divided among cultural lines without the possibility of integration because the cultural bubbles will have already been established.
We should focus on helping impoverished nations develop, so people don't have to leave from their birth countries to find comfort.
In the US there's really not any community of non-English speaking citizens, so whatever to your complaints about integration, the kids desperately want to integrate (and the parents usually agree).
And of course the whole thing where foreigners are scary is as much a modern panic as anything. In periods of pretty open immigration, lots of states didn't require citizenship to vote:
https://en.wikipedia.org/wiki/Right_of_foreigners_to_vote_in...
Source? lol
A few thousand people here or there is a laughable threat to whatever culture exists in USA.
But if you look at what I said, I didn't say anything about language spoken at home or primary language or anything like that, I explicitly said community of non-English speaking citizens, which pretty clearly means people that don't speak English anywhere.
I'd really love to see any evidence at all to the contrary.
Is that the case in the numerous other countries that require voter ID? I find it funny how we always use “but every other country does it!” when talking about things the US should adopt (e.g., the metric system, socialized healthcare), but that’s apparently not a good reason when talking about voter ID. Even countries with far poorer populations than our own seem to think being able to provide proof of who you are at the time of voting is a good idea, why can’t we?
But even if that's not the case, it stands to reason it'll end up being a left/right thing, because it's the right trying to deprive the left of a vote, or vice versa. The two party system guarantees it.
No party is currently doing this unless you include third parties. The American left works for business too.
Other countries that require ID to vote generally have an ID card system separate from the driving of vehicles, and more people hold passports. Consequently, a larger percentage of the population has a state ID readily at hand. Yes, in the USA states might offer an non-driver’s-license ID card, but the system is that this is a choice, not a must, while in other countries everyone needs to carry some form of ID at all time.
Unsurprisingly, this makes voter ID a political issue: those who benefit from poll taxes support them, and those whose voters are suppressed by poll taxes oppose them.
I found this video pretty funny while searching around: https://www.youtube.com/watch?v=rrBxZGWCdgs
Regulations for dispensing controlled substances vary from state to state. As of 2013, only 24 states required pharmacists to verify identity.[1] Many of those regulations apply only in certain circumstances, don't specifically require government-issued photo ID, have fallback procedures, or allow the pharmacist to dispense the medication without ID if withholding it would harm the patient. Florida recently passed a law that says it's good enough if the pharmacist recognizes the patient.[2]
[1] https://www.cdc.gov/phlp/docs/menu-pdil.pdf
[2] https://www.healthlawrx.com/2018/07/florida-imposes-new-id-r...
But as to your idea about life without an ID... I routinely refuse to show my ID to bank tellers, doctor offices, trains, planes, etc. I avoid most activities the require ID. There is one obvious exception--I drive every day.
I carry my ID with me at all times. But I refuse to show to somebody who is not writing me a traffic ticket. That refusal has not impeded my ability to conduct a normal life.
FWIW, I am not opposed to voter ID. I am opposed to universal ID. My voter ID should not be required to open a bank account, or rent an apartment. It should be for one purpose. I recently tried to open a bank account. They asked for my SSN. I gave it to them so they could report taxable income to the IRS. They asked for my drivers license. I refused. They asked for my employment history. I refused. If they asked for my shoe size, I would refuse.
Over-collection of personal data is a big problem right now. Most people facilitate it. I try to resist it.
So far, it hasn't prevented me from voting.
It seems odd that Fox News keep returning to college campuses over and over and over to get quotes that are intended to represent the views of Liberals writ large.
I mean, they're in New York City, wouldn't it be simpler to go outside their office and interview some adults with jobs?
Trying to wrack my brain to figure out why they would keep talking to 18 year olds over and over again, hmm...
The idea that a legal, eligible-to-vote US citizen is running around living life in 2018 without any form of ID is preposterous.
Living in the US and having the right to vote are not the same thing. Illegal aliens, temporary and permanent residents, and other people of varying status live in the US but cannot legally vote, at least in federal elections.
I did not provide a driver license to my employer. I have worked legitimately for them every day for many years.
I did not provide a driver license to my ISP.
I can't fathom why my bank would need to know if I am allowed to drive. They do, however, have a legitimate reason for wanting my SSN.
This current year I have traveled across 4 states several times. Nobody asked me for my license. I've spent many thousands of dollars with retailers. I've stayed at multiple hotels. I've been to the airport a few times. And I've lived in the home that I own all year long. In none of these situations have I been asked for a driver license.
I have been asked for my driver license in what seemed odd circumstances. I gave them a puzzled look and declined the requests. Once or twice they persisted and I asked them why they needed to know if I was permitted to drive. They sputter something about their computer screen. I ask them if we can proceed if I don't have a license, and they eventually figure out how to do that. We complete our business; I get in my car and drive home.
Honestly, I wish people like you would put up a little more resistance. But I recognize your right to do whatever you want with your license.
You'll apparently "lose your dignity" in October [1].
I can't fathom why my bank would need to know if I am allowed to drive.
An ID and a driver's license are not necessarily the same thing.
[1] http://www.businessinsider.com/tsa-changes-deadline-for-real...
It also means that I avoid sporting events that require pat-downs. Or neighborhood parties that require criminal background checks. Or schools with metal detectors at the entrance.
In general, if an event is so sketchy and risky that it requires those measures, I take it as a signal to avoid that event. When I see somebody dressed in full combat gear I know I am not where I want to be.
It must be wonderful to be able to fly private, but that isn't an option for most of the people that are the subject of this conversation.
That's possibly true, but also completely irrelevant to what we are discussing, because in most states the voter ID laws only accept a few specific kinds of ID. There are many legal, eligible-to-vote US citizens running around living life in 2018 without any of these specific kinds of ID.
You're also making an ignorant generalization about my background. I was brought up by a single, disabled mother. We lived below the poverty line for the majority of my childhood. You'd do well to discard your arrogant approach.
On the surface it seems like a reasonable requirement, but it disenfranchises people for little to no return. In-person voter fraud is difficult to do in any meaningful amounts. Estimates show the amount is negligible compared to the kind of disenfranchisement voting restrictions cause.
Additionally there have been a lot of bullshit practices put up to block people from voting: literary test + grandfather clause, poll tax, corporate thugs watching you vote, white supremacists keeping black people out of polling stations, limiting the quantities of polling stations, resisting early voting, using horribly insecure (Windows XP SP1) voting machines, voter records getting purged. Voting is a right, and it's supposed to be the foundation of our democratic republic.
ID costs money, has to be renewed, and is harder to get than it used to be. (Thanks, DHS.) What if you're older, and the building that kept your birth certificate burned down? Or just lost it? This is not uncommon. Do you just not get to vote?
There is no cost to requiring ID... It is you conflating the cost of acquiring an id with the cost of requiring one. As Australia shows, it can be done with a zero cost (birth certificates and Medicare cards are free)
Australia acheives a 90+% voter turn out. (Compulsory voting through fines) even our poorest are able to vote, that remaining 8% who don't vote are overseas, or missing.
US is lucky if it gets to 60%
The US system has serious problems that completely undermine a democracy... But hey, let's forget the forest and focus on this one tree right here.
The problem is on the ID-provisioning side.
Because people don't want yet another mandatory way to be tracked by the government. It is especially opposed by those here illegally, their supporters, and others historically disenfranchised by more and more centralized requirements. Not everyone has driver's licenses or ssn cards. There are non-zero problems so what should be obvious is why some oppose even if you don't.
I'm not even making an argument about "I'm not doing anything wrong, so why should I fear the machine?" I have assault rifles and thousands of rounds of ammunition purchased with my credit card. There's a non zero risk that the disarmament Inquisition might use my credit card to seize my property or worse. But the risk is... Quite vanishingly small. And I think it's not unreasonable to suggest the risk is vanishingly smaller for ID cards.
Additionally, I'm completely uninterested in warping our legal code around illegal immigrants. They are irrelevant to the conversation. We make laws for the benefit of citizens. Not the other 95% of the globe that aren't American citizens.
I'm additionally not sure how giving, let's say black trans women, a free national ID card and requiring her to show it for purchasing cigs, alcohol, driving and voting is a problem. It's non-onerous.
I constantly hear that (the majority of) people don't care about NSA spying, Facebook and Google spying, ad tracking, etc, etc, etc.
But somehow when it comes to being issued a number and a piece of plastic it would never work because people would oppose it based on privacy? I find that very hard to believe.
The REAL ID act which was an attempt to create a federal ID managed by the states was passed in 2005 by is still not implemented because many states simply refuse to comply with the law some have even passed laws that prevent the state from complying with the law. The federal government lacks a way to force a majority of the sates to comply with it's will (see marijuana laws). And states don't want a federal id.
In any case, I'd like to hear arguments against it besides monetary cost, but so far all I've been exposed to is fringe right wingers whining about the gubment and lefties feeling like reminding us that Jim Crow et al was a thing and they totally promise that's not a red herring.
The U.S. is a union of States each with different cultures, attitudes, histories, and needs. It was recognized early on that A STRONG Federal government given responsibility to do ANYTHING at a nationwide scale would quickly rustle jimmies as people would begin to feel more and moredisenfranchised by having institutions forced upon them by people who didn't live there.
Common sense thus dictated the country be run from the bottom up. Delegating only certain unquestionable authority to the Federal Government so as to provide a framework for settling disputes between States, and leaving States to handle their own affairs.
It seems to have become more in vogue for issues to end up bubbling straight to the National Congress without passing through a State first.
Nowadays with mainstream media gushing to its various audiences the National Congress seems to have taken center stage, but there is also increased unrest by those uninterested in having their State's ability to run itself as it will usurped by the Federal.
Pragmatically I'm not suggesting an expansion of federal power, since it already de facto has national identification power for both criminal purposes and entitlements in addition to statues regulating elections. This being said, I would support an amendment to make a tiny expansion to the census provision to support a federal indentification system because I believe the benefits far out weigh the costs.
That someone might have to pay $15-30 every 5 years to renew a state ID, and have it be claimed that it is a "poll tax" to vote, is ridiculous.
Still, there are many functioning people here who do not own a single vehicle.
That doesn't make them poor or stupid or government-dependent.
Your ignorance and prejudice are undermining your ability to mount a convincing argument. I happen to think that a voter ID is not an unacceptable idea. But I run across so many people who seem to mount the kinds of uninformed arguments that you have here. These arguments scare me. They make me worry about the capacity of our society to enact a reasonable voter ID program. It seems like it should be so simple. Then I read the thinking of people like you and worry that it will be botched.
My dad.
Incidentally, he owns two cars.
If he drives them, he will rightfully be arrested. If he wants to bail out of jail after his arrest, the bondsman will require ID. No ID, and he sits there in jail until his case is heard several months down the line.
With respect to your other claims, you seem to be of the belief that a Driver's License and an ID are necessarily the same thing. They are not. You can easily acquire an ID card that is not a driver's license.
To your statement, I will respond by letting you know that he does not drive. I agree that he should be arrested if he is found driving without a license.
I will also point out that you have made some of the same poor assumptions as the first comment. If he wants to bail out of jail after his arrest, he will open his wallet and pay cash for his bail. If he doesn't actually have the cash in his wallet, he may send his driver to retrieve more cash.
People without a Driver's License are not necessarily poor. Or uneducated. Or dim-witted.
In this thread you’ve said that you only fly private and that your father has a personal driver. Congratulations to you/him on your success in life, but something tells me that both of you have ID if this is the case.
Perhaps you think we control for that as part of voter registration. We do not. I registered by walking into a post office, filling out a form, and handing the clerk some pocket change for a stamp.
Unless the costs and efforts in the US are unduly high - hundreds of dollars and taking off half a week from work or travel half the country - the claim voter ID laws are an actual poll tax designed to keep people away seems suspicious. Sure there is some hassle and a tiny bit of money required, but I don't see anybody claim that drivers licenses are a scheme to keep poor people off the streets in the same regard.
Not in the UK. [1]
> Do I need to take ID to the polling station?
> You do not need to show ID to vote in England, Scotland and Wales. You just need to tell polling staff your name and address. They will then cross your name off the list and give you a ballot paper.
There were trials of a voter id system recently, but it is widely regarded as "a solution in search of a problem" and a way of suppressing the vote of the economically disadvantaged, the natural opponents of the ruling right wing Tory party[2]
1: https://www.theguardian.com/politics/2017/jun/07/how-do-i-vo...
2: https://www.theguardian.com/politics/2018/apr/29/england-vot...
The general thing people have wanted to avoid is an extra burden that burdens poor voters. Either an ID that costs money (poll taxes are banned in many countries, so this is always a little dubious), or that simply requires going to a distant or understaffed facility to get the ID.
The only reason it's a political issue at all is because the Republican party has been rather openly seeking these negative effects to their electoral benefit: https://www.nytimes.com/2016/09/17/us/some-republicans-ackno...
It sounds like a good idea in theory, but in practice - specifically in the United States - requiring ID for registered voters at the polling station is used by the Republican Party for the sole purpose of disenfranchising Democratic voters.
https://www.houstonchronicle.com/opinion/outlook/article/Vot...
https://www.csmonitor.com/USA/Politics/2016/0730/Voter-ID-mo...
By all means make voter ID required, just make sure the burden for obtaining it is identical across all demographics.
No one would object to voter ID requirements if it wasn't weaponized to disenfranchise voters.
The fix is automatic, universal voter registration. Just like every other mature democracy.
You just simply get an unwashable ink on your thumb. It does a few things. It shows you voted already. Also, puts a little bit of social pressure on people you see who don't have the mark.
Thx!:)
The state responded to criticisms of how difficult it could be for some to get an ID even if offered for free by having a bus travel around the state with the state issued ID issuing facilities available on the bus. That program was poorly funded, the bus often broke down, and usage was very low. Think they ended up doing away with the bus. The city of Atlanta eventually did get a new drivers license center and photo IDs are available free of charge to those who fill out an affidavit stating they cannot afford the ID fee.
It's difficult to know how much fraudulent voting takes place. I'd like it better if there were photo ID requirements in place but if we're going to do that, the process for obtaining such an ID must be made orders of magnitude easier. For those in rural areas, getting to the county seat can be a challenge. Polling places are much more widespread than locations to obtain photo IDs. The added requirements of the Patriot Act for government IDs likely has made this situation even worse.
Photo IDs are useful for many purposes beyond voting. I don't want to have a society in which one must carry a photo ID at all times but I'd also like to live in one where anyone can easily obtain one. Seems like this is the real problem that needs to be solved.
I'm so sick of this excuse. The correct response is "... so let's not do that this time, mkay?" Specifically, make them absolutely free-as-in-beer and only require minimal time and effort to obtain (benchmark: proof of address is too much effort). You do this explicitly on the basis that voting is a universal right and requiring money for it is abhorrent, as is any other obstacle not strictly required for ensuring uniqueness.
Now you can also get rid of the half-assed national ID system comprised by our driver's licenses, state IDs, etc. And the people who want to use voter IDs to disenfranchise people have to shut up because you've addressed their supposed point.
Get it over with, already.
If I am throwing a wall up, I generally don't build ladders into the wall itself.
And really, it's not an unreasonable idea. Other countries do this just fine. We just need to not mess it up.
What is needed is verification against double voting. You must enroll, and so long as you’re enrolled, your name and zip code are on the roll. You go to one of the polling booths for your area. Your name gets ticked off when you vote. If it’s already ticked off then you cry fowl and an investigation must begin why. This seems to work on most of the world not sure why it wouldn’t work here.
Also, voter fraud is incredibly rare in the US, and we didn't need ID cards to accomplish that.
What evidence would we need to know that all persons voting are actually valid voters?
Absence of evidence is not evidence of absence.
We have cases in California of people voting with their dead relatives' ballots. This a lot easier with voting by mail.
https://www.brennancenter.org/analysis/debunking-voter-fraud...
And there have been public comments by GOP politicians saying they’re pushing voter ID laws explicitly to disenfranchise democratic voters.
https://mobile.nytimes.com/2016/09/17/us/some-republicans-ac...
Race and voting demographics show Democrats have an edge nationwide that will continue to grow over the next decade and on. Republicans know this and this is why they hit mid-terms so hard. General voting is down and it’s easier to win. Add suppression methods, including psychographic warfare and they know they have a shot to rig the system.
This why Trump won and why our Supreme Court is going to take away the rights of workers, minorities, women, and immigrants.
Very few meaning about 250 cases over a 15 year period.
Millions upon millions of votes are cast during this timeframe.
Frankly, I expect more fraud to naturally exist, like you.
But it just isn't a problem in the US.
Voting by mail is a state level thing, not every state has the option to vote by mail.
Ideology aside, it is a solution looking for a problem.
https://www.washingtonpost.com/news/the-fix/wp/2016/08/03/he...
> How often does it find fraud? For that, we turn to the much-cited 2014 analysis of voter fraud reported by The Post. Loyola Law School professor Justin Levitt looked at 14 years of voting and found 31 possible incidents of in-person voter fraud, comprised of approximately 241 fraudulent ballots.
Like the existing voter registration system?
Electronic voting systems were supposedly created to prevent the hanging chad problem. But all we actually needed was a way to properly punch the cards instead of relying upon people to do it manually.
Card punch machines have been around forever. Open source software running on a PC with a card punch attached is all we really needed. And you can count the votes to double check the count of the cards. But you don't have to stop relying on the physical cards.
You could even have machines at the polling place that voters could use to verify that their ballot was properly encoded before they turn it in. A PC with a punch card reader running open source software.
http://blog.reinventdemocracy.org/2004/10/about-electronic-v...
http://www.sos.ca.gov/elections/voting-systems/oversight/vot...
Interesting. Only one of those four have proper elections. That is, three can't have their elections hacked.
It's hard to believe voting machines aren't hacked on the regular with how they're almost built to be insecure. But maybe they've never been hacked. I don't know.
Either way, that doesn't make all technological solutions bad by default. A technological solution /could/ be better than a paper solution.
I think the crypto bubble is very overhyped, but I'm pretty sure some form of a distributed voter database /could/ make it nearly impossible to forge a single vote, let alone forging votes at scale.
National ID cards is better. Requiring and ID to vote is open to actual fraud as it can be granted or denied on political basis.
A mandatory national ID card is politics free. It is used to register your weapon, to get health care, to vote, to register your kids in school, etc. It helps that everybody is counted as a citizen. Instead of just removing the people that you don't like (https://www.scpr.org/news/2016/12/22/67481/you-say-you-re-an...).
Right now, if a popular movement becomes so excited that they put forth multiple candidates, it divides the vote and they lose.
How exactly do you propose fixing a two party system without voting? The United States's first past the post voting system pretty much guarantees a two party system[1]. If you want to see a move to ranked choice voting or another system that would encourage third parties, then vote for candidates who are in favor of passing RCV laws and vote for ballot initiatives to pass RCV laws.
> Sure, you have a choice, but what value is that choice?
Clean air, clean water, a person's right to self-determination over what happens with their body, equal pay for equal work...I could go on for a while, but I don't think you're looking to be swayed.
When I was a kid, I remember going with my mom when she voted. The mechanical voting machine created this roll of paper with everybody's vote marked on it. After the poll closed, they took out the rolls and laid them out down the hallway of the school where the polling occurred. Anybody was welcome to stay and watch while the poll workers checked the tallies.
For comparison, in the payment world we have the paper cheques and credit card, and though credit card fraud is strong in the mind of the public, most entities accepting payment gave up on paper cheques a while ago because of how hard it was to secure and everything that was involved in processing them.
If it didn't work for money, I can't imagine it's a good idea to keep for voting.
step two: https://www.nytimes.com/2018/07/04/us/drivers-license-tennes... take them away from poor people.
The risk of the former is huge and hard to detect. The latter, despite claims the contrary from certain news outlets and Presidents, is actually extraordinarily rare.
Voter ID cards are claimed to address the second issue, even though they actually alienate far more legitimate voter than fraudulent votes.
Any deviation from that lessens election integrity. Which may be okay, because maybe the trade off makes it worthwhile. For instance, absentee ballots and early voting enfranchises people. But the there is no free lunch with voting systems and these decisions must be measured.
We are speaking of dispatching that data to every single voting stations, set in schools, small town offices, etc. Most "secure" solutions (private lines, central update and physical dispatch of the machines days before the elections, etc) seem difficult and/or crazy costly to me.
For all the studies that show voter fraud is not prevalent and a complete non-issue, we can say even more certainly that “election hacking” is an even more egregious smoke screen.
Part of my skepticism is rooted in the prevalent ignorance of basic computing theory. If you can’t define the operational semantics of a system then you can’t rigorously convince yourself or anyone else that it is “secure.”
Well. This means no one can provide any security guarantee for any remotely realistic system because no modern stack has a completely understood&formalized operational semantics. But I definitely know that some systems are much more secure than others! So this seems like a situation where perfect is very much the enemy of "1000x better than it could've been".
Furthermore, formalization is "above and beyond" best practice, so you're unlikely to be accused of negligence if you do "better than best practice but still not formalized".
Finally, the original claim is not true. There are many systems with non-operational semantics that are useful for proving security properties. And sometimes no semantics is needed at all for large swaths of the system. Sandboxing is an excellent example of the latter. For some very reasonable attacker models, you need an operational semantics for the sandbox but don't need an operational semantics for whatever's running inside the sandbox in order to provide fairly strong security guarantees.
“Best practice” is a euphemism for whatever it is the majority does. Nobody ever got fired for buying IBM. That’s not even reasoning.
Finally, your paragraph about sandboxing is ill considered, but not that wrong. First all programs have operational semantics, the only question is how well understood they are. Second sandboxing is a constraint that is easily formally expressed by way of the logical consequence. I’m surprised you’re taking issue with that since you give a great example thereof.
AFAIK there aren't really any examples of production systems that have meaningful, formally verified security properties without gaping holes.
Do you have a good paper about the full stack formalization/verification of a nuclear launch system?
> “Best practice” is a euphemism for whatever it is the majority does. Nobody ever got fired for buying IBM. That’s not even reasoning.
1. Companies are sometimes sued, successfully, for not following "best practices". And on technical merits. Ex, Toyota lawsuits.
2. It most definitely is reasoning! Here's the cartoon derivation: "If I buy IBM I do not get fired. Therefore, I will buy IBM". This is reasoning about the social system, not the technical system. But then, security is both a technical problem and a social problem. $Billions on formal verification can't stop the simplest of phishing attacks.
> First all programs have operational semantics, the only question is how well understood they are.
Well... I guess technically. But that's not typically what people mean when they say something "has a(n operational) semantics".
Typically when people say "X has an operational semantics" they mean "someone has actually tex'd/coq'd/pencil'd the transition rules and maybe proved things about them".
Example: If I implement a programming language without doing any theory and you ask if I have an operational semantics, the only non-confusing answer is "no" or perhaps "the semantics is defined by the implementation of the compiler", which is just a tongue-in-cheek way of saying "no". This doesn't mean that no operational semantics exists, it just means I haven't written it down in the form of transition rules or a coq file or whatever.
If I give my language a denotational semantics and you ask if I have an operational semantics, I'll say "no". But again, that doesn't mean that the operational semantics don't exist. It just means I haven't written them down and proven a correspdonence.
> I’m surprised you’re taking issue with that since you give a great example thereof.
I think you missed the fundamental moral of the sandboxing example: perfect is the enemy of good enough.
Sandboxes allow for security guarantees without formalizing every aspect of the system. In fact, I conjecture that these sorts of "don't try to formalize everything" approaches toward formal security guarantees are really the only ones that scale.
If you try to formalize everything, you'll drown. If you strategically concede defeat and admit that some parts of the system aren't possible to formalize, you can get a lot of strong guarantees. As long as the concessions are strategic. Ex, sandboxing whenever the permissions interface is simple but the implementation is complex and the failure modes permit sandboxing.
Or, to put that observation in a pithy phrase: "perfect is the enemy of good enough."
Bwahahaha you're funny.
> If you try to formalize everything, you'll drown. If you strategically concede defeat and admit that some parts of the system aren't possible to formalize, you can get a lot of strong guarantees.
You're contradicting yourself again. There's a reason why weakness is a strength in formalisms.
No, I'm curious and would use that citation! Even just a paper saying "this has been done" without any details? I have a hard time believing this has been done, and people are allowed to talk about it on online forums, but there isn't a single citation even acknowleding its existence.
> You're contradicting yourself again. There's a reason why weakness is a strength in formalisms.
I'm not sure what this means, but it sounds a lot like what I've been saying all along?
No competent person is going to tell you that the system is unhackable.
You can never be 100%, you're right. You can be aware of common attack vectors and address them though. You can be aware of what resources are most vital to protect or are common targets in your industry and focus your efforts.
Most people actually in security will tell you the same.
Edit: holy crap Zone Alarm still does this, I guess scaring clueless clients still works as a sales tactic https://support.zonealarm.com/hc/en-us/articles/115001808551...
For the life I me I don’t know why voting machines and voting systems need to be connected to the internet. It’s just a flat out unnecessary risk.
That’s not to say that they shouldn’t be built so secure you could connect them to the internet. But nothing is perfect and unnecessary risks should be avoided with such an important system.
Which is probably why we should be using paper ballots and scanners with results called in from the regional counting centers. And manual count available then as much as needed or desired post election night for verification. This rush to electronic voting boggles my mind.
Yes it's a bit chicken s* but so f'n what? You don't actually owe anyone an explanation anyway, but you're entitled to vote. So just get on with it, and lie. Everyone is lying about something or other anyway and this kind of lie is pretty benign. And it's in the public good that you vote even if you don't like arguing about why you voted the way you did.
What's the lowest error rate you have ever seen in a practical security product?
Autoregister on State ID or Drivers License.
Online party management.
Signature validation, collected at registration.
Voters can mail it, use a drop, or vote in person at an elections office.
My favorite is voting parties. Everyone brings ballots, talk abot the options, vote, eat, smoke, drink, done.
Do you want a bridge built here? Yes, No, Don't Care.
be a cognitive overhead?
http://voterguide.sos.ca.gov/pdf/complete-vig.pdf
The info associated with each ballot measure is considerably more extensive than you seem to realize.
You don't even know how many votes we have even though they are so purportedly few. Imagine what little the average voter knows.
There is absolutely no reason that these systems are exposed to the internet.
However, those central locations use a lot of internet-connected machines, mostly to communicate their numbers to outside systems. The computers that program the ballot descriptions pre-election (a vector for attacking voting machines) are also usually internet-connected - they're plain old desktop workstations of some elections official.
Air-gapping those systems is probably doable, at a minor loss of convenience, but there is a reason they're internet-connected.
It's rather a dumb way to abbreviate one billion.
https://www.blog.google/products/google-cloud/how-use-beyond...