Deterministic finite-state automata – tool for checking and for the benefit of coding

Suppose I modeled the behavior of my system with Deterministic Finite Automaton (DFA) A and I need to check if it meets a security condition. I have created another DFA-S that represents the behavior that invalidates the security property. Then I have to make an intersection of these two to see if A contains bad tracks. Finally, I have to program A in C.

  • Could you please introduce me some tools that use two DFAs as input and tell me if the intersection is not empty?

  • Could you please tell me what it takes to use two DFA's instead of programming in C (without DFA)?

Many thanks

2013 – Is a tool called Symantec Backup Exec / Veritas Backup Exec a good way to secure SharePoint application servers and their databases?

I review our backup policies for Sharepoint on-premise farms in 2013 and 2016. Our IT administrators mentioned that they use all Microsoft applications such as Exchange, Sharepoint, SQL Server, and so on using a tool called Symantec Backup Exec / Veritas Backup. Secure Exec. "In our cases, we now have 2 farms for 2 clients: –

  1. Windows Server 2008 R2 acts as a SharePoint 2013 application server and another Windows 2008 R2 with the databases.

  2. Windows Server 2012 R2 acts as a SharePoint 2016 application server and another Windows 2008 R2 with the databases.

Can anyone give advice when using Symantec Backup Exec / Veritas Backup Exec? Are Supported Tools for Securing Sharepoint Application Servers Supported? and their databases? and do these types of backups support disaster recovery scenarios? For example, in case the entire Sharepoint application server crashes? or the whole database server crashes? or both?

Now for the SharePoint site backups, I already make daily backups for the site collections with the command "Backup-SPSite ….". This backup will restore certain site collections if the settings were incorrect or a critical update was performed. However, Backup Backup does not cover recovery scenarios because only the site collections in the same farm will have the same patches and updates can not be restored and the backup of the managed services is not covered. Can anyone give advice if "Symantec Backup Exec" and "Veritas Backup Exec" are supported tools for backing up Sharepoint application servers? and their databases – for disaster recovery scenarios?

Management – Why the Windows Update Tool does not display security updates for Sharepoint 2013

We have Windows Server 2008 R2 and Sharepoint Enterprise Farm 2013. Well, I know that about 3-4 years ago Microsoft decided not to distribute SharePoint updates (except for security updates) through Windows Update. However, after reviewing our Windows Update Tool, I found the following updates for sharepoint, which have a single, non-security update (marked in red) with names Update for SharePoint Server 2013 (KB2920730), as follows:-

Enter the image description here

So can anyone give advice? Why does our Windows Update Tool not show a security update for Sharepoint 2013?

Free uptime monitoring tool

Hi Guys,

I think we all know how important it is to keep our sites / servers up and running. Any downtime can hurt our company's reputation, lose potential customers and lose a lot of money.

In response to the needs of the market, we decided to create a completely free Utime monitoring tool called Cula.io

https://cula.io

Like many paid services, we offer many features that help you keep track of the price – 2-minute web site / server monitoring, content checks, customizable notifications, and more.

Since it does not cost a single penny, try it out and let us do your job for you, monitor all your important assets and alert you when something bad happens.
SEMrush

I hope you find it useful!

Best,
Peter

Review of ImageSEO – SEO tool for AI and ML based images

Hi Guys,

My name is Matthieu, I just founded https://imageseo.io and am looking for feedback from people who are involved in SEO and marketing.

[​IMG]
SEMrush

In short, our tool shows what's missing in your SEO strategy for the image, and gives you suggestions on optimizing your filenames and alt tags using machine learning and AI. We developed it because images are the best way to make a call to action, but it seemed to us that images of SEO strategies were really neglected.

We also have an API and a WordPress plugin that automatically renames your image files and fills in your ALT tags.

I did not post it to the SEO sub-forum, as I'm mainly looking for reviews of the website / app / wp plugins and not for an SEO issue. I hope it was not a mistake!

Thank you for your feedback and criticism. I'm looking forward to reading it to improve my MVP!

Matthieu,

Best open source tool to manage multiple servers spread across multiple providers in 2019?

… and best with a web GUI?

For example, solutions like Proxmox are really nice and sophisticated, but only if they are obviously Proxmox instances. Of course, you can connect them together and manage them from a single instance. It's no wonder that dedicated server companies offer Proxmox's pre-engineered ISOs, along with ESXi's Top 2 solution, to spit a dedicated server into multiple VMs.

But what if you manage VMs, containers, or dedicated servers in different public clouds or hosting providers? For example, KVM-based VMs on DigitalOcean / Linode, LXC containers on Proxmox hosts, pure dedis on OVH / Hetzner and so on? Ideally without agents, though I do not mind installing an agent if that makes life easier overall.

The goal is to have something that is easy to set up and maintain. Use a single server as a "master" node and connect to any other slave server (virtual, container, or dedicated server) and manage it with SSH commands or an agent. A simple web GUI could be used to report state and resource usage and (why not) execute shell commands remotely.

There is obviously no need for the computer / storage / network separation.

So far I have looked at:

a) Orchestration tools such as Ansible, Chef, Puppet, etc., or Kubernetes / Swarm (albeit primarily designed for container use only), but they are either limited to CLI or require true overkill setup.

b) OpenStack = Shoot me now (sorry OpenStack user)

c) OpenNebula is probably closer to such a need, but seems a bit over the top (but not too complex if you've tried Kubernetes).

d) oVirt looks really good, but requires that CentOS be used as the base operating system (for the slave nodes). This is a problem if a remote VM is obviously already set up with Ubuntu.

Thank you in advance for any suggestions / hints.

Deployment – With which open source tool can someone manage multiple servers in 2019 that are spread across multiple vendors?

… and best with a web GUI?

For example, solutions like Proxmox are really nice and sophisticated, but only if they are obviously Proxmox instances. Of course, you can connect them together and manage them from a single instance. It's no wonder that dedicated server companies offer Proxmox's pre-engineered ISOs, along with ESXi's Top 2 solution, to spit a dedicated server into multiple VMs.

But what if you manage VMs, containers, or dedicated servers in different public clouds or hosting providers? For example, KVM-based VMs on DigitalOcean / Linode, LXC containers on Proxmox hosts, pure dedis on OVH / Hetzner and so on? Ideally without agents, though I do not mind installing an agent if that makes life easier overall.

The goal is to have something that is easy to set up and maintain. Use a single server as a "master" node and connect to any other slave server (virtual, container, or dedicated server) and manage it with SSH commands or an agent. A simple web GUI could be used to report state and resource usage and (why not) execute shell commands remotely.

There is obviously no need for the computer / storage / network separation.

So far I have looked at:

a) Orchestration tools such as Ansible, Chef, Puppet, etc., or Kubernetes / Swarm (albeit primarily designed for container use only) are either limited to CLI or a true overkill setup is possible.

b) OpenStack = Shoot me now (sorry OpenStack user)

c) OpenNebula is probably closer to such a need, but seems a bit over the top (but not too complex if you've tried Kubernetes).

d) oVirt looks really good, but requires that CentOS be used as the base operating system (for the slave nodes). This is a problem if a remote VM is obviously already set up with Ubuntu.

Thank you in advance for any suggestions / hints.

Google's review of Google's comprehensive product snippets failed, but found no errors with Google's structured data testing tool

We have received an error in confirming the product rich snippet on all products on our website. However, there is no error with Google's structured data testing tool.

The validation error is:

Either "Offers", "Review" or "AggregateRating" should be specified.

Here is a sample link https://flagseller.co.nz/teardrop-flags-kitsets/184-custom-small-teardrop-flags-kitset.html